[TYPES/announce] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals

[Frédéric Blanqui]

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

*                                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$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250303/6504d6e8/attachment.htm>