The workshop centers aroud symbolic dynamics and its connections to number theory and theoretical computer science, particularly through verification and model checking. We focus on expansions provided by dynamical systems of an arithmetic nature in the context of numeration systems and continued fractions. We also consider various applications within the algorithmic theory of discrete linear dynamical systems including decision problem for linear recurrences and for logic (e.g., monadic second-order logic, Presburger arithmetic, automata theory).
Venue: Station Biologique de Roscoff, Salle de Conférences, 2nd Floor, Place Georges Teissier, 29680 Roscoff
Date: 28. September - 02. October, 2026
Note: Admission to the workshop is by invitation only.
List of confirmed participants.
| Name | Affiliation |
|---|---|
| Charles Fougeron | Université Sorbonne Paris Nord |
| Christopher-Lloyd Simon | Institut de Recherche Mathématique de Rennes - IRMAR |
| Colin Faverjon | Université de Picardie Jules Verne |
| Faustin Adiceam | Université Paris-Est Créteil |
| Florian Luca | Max Planck Institute for Software Systems |
| Hajime Kaneko | University of Tsukuba |
| Hanyu Luo | Helmholtz Center for Information Security - CISPA |
| Henk Bruin | University of Vienna |
| Hitoshi Nakada | Keio University |
| Jihyuk Seo | Institut de Recherche en Informatique Fondamentale - IRIF |
| Joël Ouaknine | Max Planck Institute for Software Systems |
| Jörg M. Thuswaldner | University of Leoben |
| Manfred Madritsch | University of Leoben |
| Manon Stipulanti | University of Liège |
| Maria Clara Werneck | Institut de Recherche en Informatique Fondamentale - IRIF |
| Michel Rigo | University of Liège |
| Mihir Vahanwala | Max Planck Institute for Software Systems |
| Olivier Carton | Institut de Recherche en Informatique Fondamentale - IRIF |
| Pascal Jelinek | University of Leoben |
| Peter J. Grabner | TU Graz |
| Pierre Arnoux | Aix-Marseille Université (AMU) |
| Samuel Petite | Université de Picardie Jules Verne |
| Sida Albayrak | Simon Fraser University |
| Sébastien Labbé | University of Bordeaux |
| Shigeki Akiyama | University of Tsukuba |
| Slade Sanderson | Institut de Recherche en Informatique Fondamentale - IRIF |
| Tifany Koniezna | Institut de Recherche en Informatique Fondamentale - IRIF |
| Toghrul Karimov | Max Planck Institute for Software Systems |
| Valérie Bérthé | Institut de Recherche en Informatique Fondamentale - IRIF |
| Victor Shirandami | Institut de Recherche en Informatique Fondamentale - IRIF |
| Wolfgang Steiner | Institut de Recherche en Informatique Fondamentale - IRIF |
Venue: Station Biologique de Roscoff, Salle de Conférences, 2nd Floor, Place Georges Teissier, 29680 Roscoff.
The venue is close to the Yves Delage Building.
Help:
Nearest TGV train station: Morlaix Buses (BreizhGo line 29) connect Morlaix station to Roscoff There is no reception at the hotel-restaurant Gulf Stream, Station biologique, 400 rue Marquise de Kergariou; however, a security guard is on duty from 9 p.m. to 7 a.m.
The entrance code for the Gulf Stream hotel-restaurant and the conference rooms (entrance by the granite staircase, 1st floor) will be sent by e-mail.
The room allocation list will be posted in the hotel entrance, the rooms will be open and the keys will be in the rooms.
Internet is available via Eduroam or via guest wifi. In the event of a problem outside working days and hours, the caretaker can be contacted on: 0626324213
The workshop is a sequel to the workshop held at the kick-off meeting of the ANR/FWF Project SYMDYNAR under the same title, that you can find here .
This workshop is funded by the European Research Council DynAMiCs (ERC Synergy Grant: 101167561)
