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
- The metalogic of
vagueness as dispersion: A classical first-order formalization, talk at the Logic Seminar (18 June 2026)