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.

(Page under development.)

This conference is part of the EuroProofNet Symposium. See the symposium page to get information on the other co-located events.

Date: 15-18 September 2025

Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay [access] [hotels] [food options]

Organizer: Roussanka Loukanova

Registration/funding requests: fill in this form

Important dates: