This is a list of upcoming ILDS events. For past events, click here.
- Arithmetic Terms III, talk at the Logic Seminar (31 October 2024)
- Intuitionistic propositional logic, talk at the Logic Seminar (14 November 2024)
This is a list of upcoming ILDS events. For past events, click here.