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:
-
23-24 September 2022: EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of proofs, Tbilisi, Georgia
-
16-18 October 2022: Dedukti tools developers meeting, Val d’Ajol, France