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: