<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>-------------------------------------------------------------------------------------------------------------</p>
<p> <b>1st International School on Logical
Frameworks<br>
and Proof Systems Interoperability (LFPSI'25)
</b><br>
</p>
<p> <a class="moz-txt-link-freetext" href="https://europroofnet.github.io/LFPSI25/">https://europroofnet.github.io/LFPSI25/</a><br>
</p>
<p> 8-11 September 2025<br>
</p>
<p> Institut Pascal, 530 Rue André Rivière, 91400 Orsay,
France<br>
</p>
<p>-------------------------------------------------------------------------------------------------------------</p>
<p>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.<br>
</p>
<p><u>Programme:</u></p>
<p>- <b>Ambrus Kaposi</b>, Second-order generalized algebraic
theories<br>
</p>
<p>- <b>Andrej Bauer</b>, Programming language techniques for proof
assistants</p>
<p>- <b>Florian Rabe</b>, Modular logic design</p>
<p>- <b>Frédéric Blanqui</b>, λΠ-calculus modulo rewriting: theory
and application to proof systems interoperability<br>
</p>
<p>Registration is free but mandatory. EuroProofNet can fund a
number of participants.<br>
</p>
<p></p>
<p><u>Important dates:</u><br>
- May 25: deadline for funding requests<br>
- June 1st: notification<br>
</p>
<pre class="moz-signature" cols="72">--
Frédéric Blanqui
Research director at INRIA
Chair of EuroProofNet
<a class="moz-txt-link-freetext" href="https://blanqui.gitlabpages.inria.fr/">https://blanqui.gitlabpages.inria.fr/</a></pre>
</body>
</html>