[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--------------------------------------------------------------------------------------------------------------
* EuroProofNet Symposium*
8-19 September 2025, Orsay, France
https://urldefense.com/v3/__https://europroofnet.github.io/Symposium/__;!!IBzWLUs!TNXiwHvO2vixfKgcD_cpRSN7BeY1e23vc1x60q9YiLypHa5Z13FnqwNBJ0iCZGB8-MdE3ryyCb9OAL5DFZ74cbO47QLuMuXoT3u4wZxls7k$
--------------------------------------------------------------------------------------------------------------
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://urldefense.com/v3/__https://blanqui.gitlabpages.inria.fr/__;!!IBzWLUs!TNXiwHvO2vixfKgcD_cpRSN7BeY1e23vc1x60q9YiLypHa5Z13FnqwNBJ0iCZGB8-MdE3ryyCb9OAL5DFZ74cbO47QLuMuXoT3u4hgRqznI$
