This is a list of upcoming ILDS events. For past events, click here.
- Using SAT Solvers to Investigate the Erdős–Szekeres Conjecture for \(e(7) = 33\), talk at the Logic Seminar (7 December 2023)
- Truth with and without Satisfaction, talk at the Logic Seminar (14 December 2023)
- Formalizing Hybrid Modal Logic in Lean, talk at the Logic Seminar (11 January 2024)
- The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory, talk at the Logic Seminar (25 January 2024)