1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)
Frédéric Blanqui <[email protected]> Wed, 7 May 2025 23:22:13 +0200
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--===============5380271710296298101==
Content-Type: multipart/alternative;
boundary="------------c1kkGqWW2M0oPgfazfoNFIiu"
Content-Language: en-US
This is a multi-part message in MIME format.
--------------c1kkGqWW2M0oPgfazfoNFIiu
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
-------------------------------------------------------------------------------------------------------------
*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
--------------c1kkGqWW2M0oPgfazfoNFIiu
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-forward-container">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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/"
moz-do-not-send="true">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><u>Important dates:</u><br>
- May 25: deadline for funding requests<br>
- June 1st: notification<br>
</p>
<pre class="moz-signature" cols="72">
</pre>
</div>
</body>
</html>
--------------c1kkGqWW2M0oPgfazfoNFIiu--
--===============5380271710296298101==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Agda mailing list
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda
--===============5380271710296298101==--