This is a list of upcoming ILDS events. For past events, click here.
- Type Theory Working Seminar meeting (14 September 2023)
- ILDS-FMI Coq and Lean Autumn School 2023 (18-20 September 2023)
- FROM 2023 (21-22 September 2023)
- Quantum Randomness, talk at the Logic Seminar (28 September 2023)