Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 1st International School on Logical Frameworks...

Email Gateway (Mar 03 2025 at 16:52):

From: Frédéric Blanqui <frederic.blanqui@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

--
Frédéric Blanqui
Research director at INRIA
Chair of EuroProofNet
https://blanqui.gitlabpages.inria.fr/

Last updated: Mar 09 2025 at 12:28 UTC