-------------------------------------------------------------------------------------------------------------
*1st International School on Logical Frameworks
and Proof Systems Interoperability (LFPSI'25) *
https://europroofnet.github.io/LFPSI25/
8-11 September 2025
Institut Pascal, 530 Rue André Rivière, 91400 Orsay, France
-------------------------------------------------------------------------------------------------------------
The COST action EuroProofNet is happy to announce that the organization
of the 1st international school on logical frameworks and proof systems
interoperability (LFPSI) in September 2025 in Orsay, France.
_Programme:_
- *Ambrus Kaposi*, Second-order generalized algebraic theories
- *Andrej Bauer*, Programming language techniques for proof assistants
- *Florian Rabe*, Modular logic design
- *Frédéric Blanqui*, λΠ-calculus modulo rewriting: theory and
application to proof systems interoperability
Registration is free but mandatory. EuroProofNet can fund a number of
participants.
_Important dates:_
- May 25: deadline for funding requests
- June 1st: notification
--
Frédéric Blanqui
Research director at INRIA
Chair of EuroProofNet
https://blanqui.gitlabpages.inria.fr/
