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

[Frédéric Blanqui]

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

*                                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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250303/6504d6e8/attachment.html>