Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Women in EuroProofNet @ ITP - Funding available

Email Gateway (Jul 02 2023 at 10:23):

From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Dear Isabelle users,

if you plan to attend ITP, you can get your travel partially reimbursed
by attending the Women in EuroProofNet workshop on July 31 too.

The deadline for funding applications is July 16 but sooner is better.
Funding requests will be answered progressively. Find the progamme and
how to apply on https://europroofnet.github.io/women-epn-2023/.

Note that, as always with COST events, it is possible to arrive a few
days earlier and leave a few days after the event, but a maximum of 2.4
daily allowances will be reimbursed for attenting Women in EuroProofNet.
See details on https://europroofnet.github.io/reimbursement-rules.

Best regards,

Frédéric Blanqui, chair of EuroProofNet.

Last updated: Feb 05 2025 at 16:23 UTC