Dear Coq users,
if you plan to attend ITP or the Coq Workshop, you can get your travel partially reimbursed by attending the Women in EuroProofNet workshop too. All these events take place at Bialystok, Poland. Both Women in EuroProofNet and the Coq workshop are on July 31.
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.
Frédéric Blanqui, chair of EuroProofNet.
Last updated: Nov 29 2023 at 22:01 UTC