Final EuroProofNet Symposium

Date: 8-19 September 2025

Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay [access] [hotels] [food options]

Registration/funding requests: fill in this form

Important dates:

• May 25: deadline for funding requests
• June 1st: notification

Events:

• LFPSI: 1st International School on Logical Frameworks and Proof Systems Interoperability
• WG2: Workshop on Automated Reasoning and Proof Logging
• WG4: Workshop on Proof Libraries
• MCLP: Conference on Mathematical and Computational Linguistics for Proofs
• WG3: Workshop on Program Verification
• MC: Report on EuroProofNet results

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
				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é)