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
- FastSet: Verified Settlement for AI-Native Work, talk at the Neuro-symbolic AI Seminar (11 June 2026)
- Nim arithmetic, talk at the Logic Seminar (11 June 2026)
- The metalogic of
vagueness as dispersion: A classical first-order formalization, talk at the Logic Seminar (18 June 2026)