This is a list of upcoming ILDS events. For past events, click here.
- Intuitionistic propositional logic II, talk at the Logic Seminar (21 November 2024)
- Around Herbrand’s Theorem I, talk at the Logic Seminar (28 November 2024)
- Around Herbrand’s Theorem II, talk at the Logic Seminar (5 December 2024)
- Regularity and complete distributivity in fuzzy metric spaces and formal contexts, talk at the Logic Seminar (12 December 2024)