European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST H2020 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.

EuroProofNet is the European research network on digital proofs. EuroProofNet aims at boosting the interoperability and usability of proof systems. It is a COST action started on November 2021 gathering more than 240 researchers from 30 different countries, chaired by Frédéric Blanqui. EuroProofNet organizes meetings and schools, and provides grants to its members for short-term scientific missions in another lab or country. More…   Objectives   Deliverables

To join the action, simply apply to the working groups you are interested in (it is free and open to anyone). Contact

Work plan for January-October 2022

Coming events:

Past events: