coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr, agda AT lists.chalmers.se, why3-club AT groupes.renater.fr, eutypes AT cs.ru.nl, pvs AT csl.sri.com, types-announce AT lists.seas.upenn.edu, mizar-forum AT mizar.uwb.edu.pl, cl-isabelle-users AT lists.cam.ac.uk
Subject: [Coq-Club] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals
Date: Mon, 3 Mar 2025 17:07:32 +0100
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=frederic.blanqui AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

--------------------------------------------------------------------------------------------------------------

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/

[Coq-Club] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals, Frédéric Blanqui, 03/03/2025