Stream: Miscellaneous

Topic: Funding available for WEPN @ ITP, 31 July 2023

view this post on Zulip Frédéric Blanqui (Jul 02 2023 at 11:55):

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

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

Best regards,

Frédéric Blanqui, chair of EuroProofNet.

Last updated: May 24 2024 at 23:01 UTC