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)