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 is organized jointly by the Institute for Logic and Data Science (ILDS), the Faculty of Mathematics and Computer Science, University of Bucharest, and the Research Center for Logic, Optimization and Security (LOS), University of Bucharest.

The event is co-located with FROM 2023, whose participants are eligible for a special discounted fee for the school.

We are grateful for the generous support of our sponsors: