Workshops & Conferences

Our latest announcements, upcoming activities, and a look back at past highlights.

Our main events

13-17. July, 2026 · University of Porto, Portugal

This is a sequel to the special workshop held at the TCA conference in Aveiro in 2024.

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.

Browse more