1st International School on Logical Frameworks and Proof Systems Interoperability
(page under construction)
Date: 8-11 September 2025
Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay
Lectures:
-
Ambrus Kaposi: second-order generalized algebraic theories
-
Andrej Bauer: programming language techniques to implement proof-assistants
-
Florian Rabe: modular logic formalization in MMT/LF
-
Frédéric Blanqui: proof systems interoperability
Schedule:
| Mo8 | Tu9 | We10 | Th11 | |
| 09:00-10:30 | AK | FR | FB | AB |
| 10:30-11:00 | break | break | break | break |
| 11:00-12:30 | AB | AK | FR | FB |
| 12:30-14:00 | lunch | lunch | lunch | lunch |
| 14:00-15:30 | FB | AB | AK | FR |
| 15:30-16:00 | break | break | break | break |
| 16:00-17:30 | FR | FB | AB | AK |