We are happy to announce that we will co-organize (in collaboration with the Faculty of Mathematics and Computer Science, University of Bucharest, and the Research Center for Logic, Optimization and Security, University of Bucharest) the ILDS-FMI Coq and Lean Autumn School 2023!
The ILDS-FMI Coq and Lean Autumn School 2023 aims to introduce potential students to the Coq and Lean proof assistants, as well as to the theoretical underpinnings of interactive theorem proving. It is the second school on interactive theorem proving organized in Bucharest, following the ICUB Coq Autumn School, which was held in September 2018.
The event will be co-located with FROM 2023.
We are grateful for the generous support of our sponsors:
We are looking forward to seeing you in Bucharest!