Final EuroProofNet Symposium
(page under construction)
Date: 8-19 September 2025
Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay
Events:
-
LFPSI: 1st International School on Logical Frameworks and Proof Systems Interoperability
-
WG2: Workshop on Automated Theorem Proving and Proof Logging
-
WG4: Workshop on Large Proof Libraries
-
MCLP: Conference on Mathematical and Computational Linguistics for Proofs
-
WG3: Workshop on Program Verification
Schedule:
Week 1:
| Mo8 | Tu9 | We10 | Th11 | Fr12 | Sa13 | Su14 |
| LFPSI | LFPSI | LFPSI | LFPSI | |||
| WG2 | WG2 | WG2 |
Week 2:
| Mo15 | Tu16 | We17 | Th18 | Fr19 |
| WG4 | WG4 | |||
| MCLP | MCLP | MCLP | MCLP | |
| WG3 | WG3 | WG3 |
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é)
