This is a list of upcoming ILDS events. For past events, click here.
- VLSM: A General Framework for Reasoning About Faulty Distributed Systems, talk at the Logic Seminar (30 March 2023)
- Testing blockchains – a survey of state of the art (Part II), talk at the Blockchain Seminar (10 April 2023)
- ILDS Coq and Lean Autumn School 2023 (18-20 September 2023)
- FROM 2023 (21-22 September 2023)