This is a list of upcoming ILDS events. For past events, click here.
- Yet another formalization of matching logic in Coq, talk at the Logic Seminar (9 November 2023)
- Inversion results and base-completeness for two approaches to proof-theoretic validity, talk at the Logic Seminar (23 November 2023)