<!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> EuroProofNet Symposium</b></p>
<p> 8-19 September 2025, Orsay, France</p>
<p> <a class="moz-txt-link-freetext"
href="https://europroofnet.github.io/Symposium/"
moz-do-not-send="true">https://europroofnet.github.io/Symposium/</a></p>
<p>--------------------------------------------------------------------------------------------------------------</p>
<p>The COST action EuroProofNet organizes in September a symposium
at the Institut Pascal, Orsay, France, with various great
events:<br>
</p>
<p>- 8-11 September 2025: 1st International School on Logical
Frameworks and Proof Systems Interoperability<br>
</p>
<p>- 11-14 September 2025: Workshop on automated reasoning and
proof logging/WG2 meeting/WHOOPS<br>
</p>
<p>- 15-16 September 2025: Workshop on proof libraries/WG4 meeting<br>
</p>
<p>- 15-18 September 2025: Conference on mathematical and
computational linguistics for proofs<br>
</p>
<p>- 17-19 September 2025: Workshop on program verification/WG3
meeting<br>
</p>
<p>Important dates:<br>
- <b>May 25: deadline for talk proposals</b><br>
- June 1st: notification<br>
<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/"
moz-do-not-send="true">https://blanqui.gitlabpages.inria.fr/</a></pre>
</div>
</body>
</html>