The ILDS 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.
The event is organized jointly by the Institute for Logic and Data Science (ILDS) and the Research Center for Logic, Optimization and Security (LOS). 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 co-located with FROM 2023, whose participants are eligible for a special discounted fee for the school.