Our latest announcements, upcoming activities, and a look back at past highlights.
October 15–17, 2025 · Saarbrücken, Germany
Three days of talks and tutorials on dynamical and arithmetical model checking, with invited speakers and hands-on sessions.
April 2025 · Public
Official launch of the research project.
