Our latest announcements, upcoming activities, and a look back at past highlights.
5-12. June 2026 · Bellairs Research Institute, Barbados
Friday to Friday workshop exploring topics in discrete and continuous dynamics at the confluence of computer science and mathematics.
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.
