Events This is a list of upcoming ILDS events. For past events, click here. ILDS Coq and Lean Autumn School 2023 (18-20 September 2023) FROM 2023 (21-22 September 2023)