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.

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

The objective is to have talks and demos like in the 1st Workshop on the development, maintenance, refactoring and search of large libraries of proofs and, if time permits, some common development sessions.

Date: 15-16 September 2025

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

Organizers: Frédéric Blanqui, Claudio Sacerdoti

Registration/funding requests: fill in this form

Important dates:

  • May 25: deadline for funding requests and talk proposals
  • June 1st: notification

Talk/demo proposals: If you want to give a talk or make a tool demo, send a mail to Frédéric Blanqui with a title and abstract before May 25.

Previous workshops: