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 450 researchers from 44 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 Questions?
To join the action, simply apply to the working groups you are interested in (it is free and open to anyone interested by proof systems)!
The EuroProofNet website provides also many useful information about proof tools, research groups, third-party schools and conferences, job offers, teaching material and websites, useful links on gender balance issues, etc. (check the tabs on the top and the menu icon on the top right corner).
Coming events:
- 25-26 March 2024: WG5 meeting on the Alignment of Proof Systems and Machine Learning, Vienna, Austria
- 27-28 March 2024: WG3 meeting/Tutorial on Usable Formal Methods for Security of Systems with the participation of industrial users, Dresden, Germany
- 4-5 April 2024: WG6 meeting, Leuven, Belgium, in co-location with the 2024 HoTT/UF workshop
- 23-25 April 2024: inter-WG developers meeting, Le Val d’Ajol, France
- 1st May 2024: deadline for ITCG proposals between May and September 2024
- 28-30 May 2024: WG2 meeting on ATPs for geometry, Nice, France
- 14-15 June 2024: workshop on proof systems for mathematics and program verification, Lausanne, Switzerland, just after the 30th Workshop on Logic, Language, Information and Computation
- 26-29 June 2024: SAT/SMT/AR school, Nancy, France, in co-location with IJCAR’24
- 1st July 2024: WG2 meeting/TPTP Tea Party, Nancy, France, in co-location with IJCAR’24
- 6 July 2024: Women in EuroProofNet, Bonn, Germany, just before the Workshop on Bridging between informal and formal mathematics
- 13-14 September 2024: WG4 meeting/2nd workshop on the development, maintenance, refactoring and mining of large libraries of proofs in Tbilisi, Georgia, in co-location with ITP’24
- 15-21 September 2024: school on Proof & Computation, Fischbachau, Germany