EuroProofNet

Dear Mizar Users,


I am writing this email on behalf of Frédéric Blanqui, chair of 
EuroProofNet and mine:


====

If you plan to attend ITP 2023, 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 program 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 attending Women in EuroProofNet. 
See details on https://europroofnet.github.io/reimbursement-rules.

Best regards,

Frédéric Blanqui, chair of EuroProofNet.

====


Best regards

Artur