European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Date: 11-13 May 2023

Venue: Downtown Liège (rooms TBA), Belgium

Organizer: Alexander Steen and Pascal Fontaine

This is the second EuroProofNet WG2 meeting, which will take the form of a hackathon, from Thursday May 11 morning to Saturday May 13 mid-afternoon.

Application procedure: The number of participants that can be reimbursed is limited. If you would like to be reimbursed of your travel, check the eligibility rules and fill in this form.

Cost: Participants will have to pay for their travel, accommodation and meals. If you are reimbursed by EuroProofNet, note that the daily allowance has been fixed to 160 euros. See the reimbursement rules for more details.