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:
-
1st January 2023: deadline for STSM proposals
-
27-29 January 2023: 2nd Dedukti tools developers meeting, Fréjus, France
-
8-9 February 2023: WG3 meeting on program verification, Timisoara, Romania
-
24-25 April 2023: WG6 meeting, Vienna, Austria