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 |
|---|---|
| Bastian Espinoza | Institut de Recherche en Informatique Fondamentale - IRIF |
| Charles Fougeron | Université Sorbonne Paris Nord |
| Chris Schulz | University of Waterloo |
| Christopher-Lloyd Simon | Institut de Recherche Mathématique de Rennes - IRMAR |
| Colin Faverjon | Université de Picardie Jules Verne |
| David Siukaev | Université Sorbonne Paris Nord |
| Don Han Kim | Dongguk University |
| Eda Cesaratto | Universidad Nacional de General Sarmiento |
| Emil Rugaard Wieser | Max Planck Institute for Software Systems |
| Faustin Adiceam | Université Paris-Est Créteil - LAMA |
| 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 |
| Hitarth Singh | The Hong Kong University of Science and Technology |
| Isa Vialard | Max Planck Institute for Software Systems |
| James Worrell | University of Oxford |
| Julien Barral | Université Sorbonne Paris Nord - LAGA |
| Jihyuk Seo | Institut de Recherche en Informatique Fondamentale - IRIF |
| Joël Ouaknine | Max Planck Institute for Software Systems |
| Joris Nieuwveld | University of Oxford |
| Jörg M. Thuswaldner | University of Leoben |
| Madhavan Venkatesh | Max Planck Institute for Software Systems |
| 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 |
| Mikhail Starchak | 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) |
| Piotr Bacik | Max Planck Institute for Software Systems | University of Oxford |
| Ruiwen Dong | University of Oxford |
| Robert Tichy | TU Graz |
| Samuel Petite | Université de Picardie Jules Verne |
| Sanskar Agrawal | Max Planck Institute for Software Systems | Leiden University |
| Seda Albayrak | Simon Fraser University |
| Sébastien Labbé | University of Bordeaux |
| Shigeki Akiyama | University of Tsukuba |
| Slade Sanderson | Institut de Recherche en Informatique Fondamentale - IRIF |
| Stéphane Seuret | Université Paris-Est Créteil - LAMA |
| Stef Nomden | Max Planck Institute for Software Systems | Leiden University |
| Taieb Oussaifi | Max Planck Institute for Software Systems |
| 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
We have been informed that some participants may receive emails from senders such as “Global Travel Team” regarding accommodation arrangements. Please note that these messages are fraudulent. The organizers of the event do not authorize any external agencies or third parties to contact participants for accommodation bookings. Any email offering to arrange your stay, requesting personal information, or asking for advance payment should be treated with caution and considered a scam.
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)
