Final EuroProofNet Symposium

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 578 researchers from 47 different countries, chaired by Frédéric Blanqui and a Core group. EuroProofNet organizes meetings and schools (see coming events below), and provides grants to its members for short-term scientific missions in another country.
 

Events:

• 8-11 September: LFPSI: 1st International School on Logical Frameworks and Proof Systems Interoperability
• 11-13 September: WG2: Workshop on Automated Reasoning and Proof Logging
• 13-14 September: WHOOPS: 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems
• 15-16 September: WG4: Workshop on Proof Libraries
• 15-18 September: MCLP: Conference on Mathematical and Computational Linguistics for Proofs
• 17-19 September: WG3: Workshop on Program Verification
• 19 September: MC: Report on EuroProofNet results

Sponsors:

Steering committee:

• Frédéric Blanqui (INRIA & LMF, chair of EuroProofNet)
• Patrick Massot (LMO, University Paris Saclay)
• Florent Hivert (LISN, University Paris Saclay)
• Angeliki Koutsoukou Argyraki (University of London, UK)
• Benedikt Ahrens (Delft University of Technology, Netherlands)
• Alicia Villanueva (Universitat Politècnica de València, Spain)
• Cezary Kaliszyk (University of Melbourne, Australia)
• Roussanka Loukanova (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
• Pascal Fontaine (Université de Liège, Belgium)
• Assia Mahboubi (INRIA)
• Julien Narboux (Université Paris Cité)