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 now gathering about 300 researchers from 40 different countries, chaired by Frédéric Blanqui and a Core group. EuroProofNet organizes meetings and schools, and provides grants to its members for short-term scientific missions in another country. Learn more…   Objectives   Deliverables

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

Coming events:

Past events