Final EuroProofNet Symposium
Date: 8-19 September 2025
Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay [access] [hotels] [food]
Registration: fill in this form (registration is free but mandatory)
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:
 |
 |
Schedule:
Please note that you have to organize yourself for lunches (and dinners), but there are many options around, except on Sunday.
Week 1:
| Mo8 | Tu9 | We10 | Th11 | Fr12 | Sa13 | Su14 |
| LFPSI | LFPSI | LFPSI | LFPSI | |||
| WG2 | WG2 | WG2 | ||||
| WHOOPS | WHOOPS | |||||
| (*) | (*) |
Week 2:
| Mo15 | Tu16 | We17 | Th18 | Fr19 |
| WG4 | WG4 | |||
| MCLP | MCLP | MCLP | MCLP | |
| WG3 | WG3 | WG3 | ||
| MC | ||||
| (*) | (*) |
(*) 17:30-18:30: happy hour
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é)
