EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals
Frédéric Blanqui <[email protected]> Mon, 3 Mar 2025 17:07:32 +0100
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.comp.mathematics.mizar,gmane.science.mathematics.logic.isabelle.user |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--===============5068968144353794092==
Content-Type: multipart/alternative;
boundary="------------Y1LBQ704wrrZ4sP2OovKWeAi"
Content-Language: en-US
This is a multi-part message in MIME format.
--------------Y1LBQ704wrrZ4sP2OovKWeAi
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
--------------------------------------------------------------------------------------------------------------
* EuroProofNet Symposium*
8-19 September 2025, Orsay, France
https://europroofnet.github.io/Symposium/
--------------------------------------------------------------------------------------------------------------
The COST action EuroProofNet organizes in September a symposium at the
Institut Pascal, Orsay, France, with various great events:
- 8-11 September 2025: 1st International School on Logical Frameworks
and Proof Systems Interoperability
- 11-14 September 2025: Workshop on automated reasoning and proof
logging/WG2 meeting/WHOOPS
- 15-16 September 2025: Workshop on proof libraries/WG4 meeting
- 15-18 September 2025: Conference on mathematical and computational
linguistics for proofs
- 17-19 September 2025: Workshop on program verification/WG3 meeting
Important dates:
- *May 25: deadline for talk proposals*
- June 1st: notification
--
Frédéric Blanqui
Research director at INRIA
Chair of EuroProofNet
https://blanqui.gitlabpages.inria.fr/
--------------Y1LBQ704wrrZ4sP2OovKWeAi
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> 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>
--------------Y1LBQ704wrrZ4sP2OovKWeAi--
--===============5068968144353794092==
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
--===============5068968144353794092==--