coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr, agda AT lists.chalmers.se, types-announce AT lists.seas.upenn.edu, HomotopyTypeTheory AT googlegroups.com, eutypes AT cs.ru.nl, categories AT mq.edu.au, prooftheory AT lists.bath.ac.uk, fom AT lists.ugent.be, isabelle-users AT cl.cam.ac.uk, folli AT folli.info, maude-users AT cs.uiuc.edu, pvs AT csl.sri.com
Subject: [Coq-Club] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)
Date: Wed, 7 May 2025 23:22:13 +0200
Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=frederic.blanqui AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

-------------------------------------------------------------------------------------------------------------

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

[Coq-Club] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25), Frédéric Blanqui, 05/07/2025