coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Women in EuroProofNet @ ITP - Funding available

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Women in EuroProofNet @ ITP - Funding available
Date: Sun, 2 Jul 2023 12:20:54 +0200
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=frederic.blanqui AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

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.

Best regards,

Frédéric Blanqui, chair of EuroProofNet.

[Coq-Club] Women in EuroProofNet @ ITP - Funding available, Frédéric Blanqui, 07/02/2023