18 - 20 September 2023, ILDS Coq & Lean Autumn School 2023, Bucharest, Romania

The ILDS Coq and Lean Autumn School 2023 aims to introduce potential students to the Coq and Lean proof assistants, as well as to 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 co-located with FROM 2023, whose participants are eligible for a special discounted fee for the school.