Dynamical and Arithmetical Model Checking

Workshops & Conferences

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

Our Latest Event

Workshop banner
Workshop

Symbolic Dynamics and Arithmetic Expansions 2026

28 Sep - 02 Oct 2026 · Station Biologique de Roscoff, France

The workshop centers around symbolic dynamics and its connection to number theory, with a focus on arithmetic expansions and their applications.

Our past events

Browse more
Workshop banner
Workshop

Algebraic Aspects of Symbolic Dynamics – Summer Workshop 2026

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.
Workshop banner
Workshop

Mathematical and Algorithmic Aspects of Dynamical Systems 2026

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.
Featured event cover
Workshop

Dynaverse Workshop 2025

15–17 October 2025 · Saarbrücken, Germany

Three days of talks and tutorials on dynamical and arithmetical model checking, with invited speakers and hands-on sessions.