This is a list of upcoming ILDS events. For past events, click here.
Workshops, Conferences
- Working Formal Methods Symposium (FROM 2026), Timișoara, Romania, September 15-17, 2026
Seminar Talks
- Durable Alignment via Orthogonal Memory in Large Language Models, talk at the Neuro-symbolic AI Seminar (21 May 2026)
- An Introduction to Voting Theory, talk at the Neuro-symbolic AI Seminar (28 May 2026)
- An introduction to the type theory of Lean, talk at the Logic Seminar (28 May 2026)
- SQAN: A Neuro-Symbolic Architecture for Normative Reasoning, talk at the Neuro-symbolic AI Seminar (4 June 2026)