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: Worshop 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 |