Quick Facts
Venue: Bellairs Research Institute, Folkestone, St. James, BB24017, Barbados.
Help:
The workshop explores topics in discrete and continuous dynamics at the confluence of computer science (decision problems, invariant generation, complexity, etc.) and mathematics (number theory, Diophantine geometry, arithmetic dynamics, symbolic dynamics, etc.) The workshop is taking place at McGill's Bellairs Research Institute, located directly on a beautiful beach in Barbados. We are planning to give speakers ample time to describe background and get to technical details, and there will be lots of opportunities for extensive discussions. Talks will be given on primitive chalkboards. Therefore, please do not prepare slides for a data projector. There should be lots of opportunities for extensive small group discussions.
Venue: Bellairs Research Institute (McGill University), Folkestone, St. James BB24017 Barbados
Date: 05-12 June 2026
Note: Admission to the workshop is by invitation only.
There will be a parallel workshop on Quantitative Reasoning, organized by Alexandra Silva and Prakash Panangaden.
List of confirmed participants.
| Name | Affiliation |
|---|---|
| Chris Schulz | Department of Pure Mathematics, University of Waterloo |
| Emil Rugaard Wieser | Max Planck Institute for Software Systems |
| Emre Sertöz | Mathematical Institute, Leiden University |
| Faustin Adiceam | Université Paris-Est Créteil |
| Florian Luca | Max Planck Institute for Software Systems |
| Holly Krieger | Department of Pure Mathematics and Mathematical Statistics, University of Cambridge |
| James Worrell | University of Oxford |
| Jihyuk Seo | Institut de Recherche en Informatique Fondamentale |
| Joël Ouaknine | Max Planck Institute for Software Systems |
| Laura DeMarco | Department of Mathematics, Harvard University |
| Laurent Bartholdi | Institut Camille Jordan, CNRS, Université Claude Bernard Lyon 1 |
| Maria Clara Werneck | Institut de Recherche en Informatique Fondamentale |
| Mihir Vahanwala | Max Planck Institute for Software Systems |
| Piotr Bacik | Max Planck Institute for Software Systems | University of Oxford |
| Taieb Oussaifi | Max Planck Institute for Software Systems |
| Tifany Koniezna | Institut de Recherche en Informatique Fondamentale |
| Toghrul Karimov | Max Planck Institute for Software Systems |
| Valérie Bérthé | Institut de Recherche en Informatique Fondamentale |
| Victor Shirandami | Institut de Recherche en Informatique Fondamentale |
Venue: Bellairs Research Institute, Folkestone, St. James, BB24017, Barbados.
Help:
The airport is on the south-east point of the island and Bellairs is on the west side in the Parish of St. James (about 40 min taxi drive)
Tell the taxi driver to take you to Bellairs Research Institute in Holetown Holetown is small and Bellairs is on the main street — it is just north of Folkstone Park. The taxi ride should cost about US$35 to US$45.
Room bookings are made by the organizers. Please do not contact Bellairs staff directly.
Breakfast and dinner are served on site.
Barbados is safe and one shouldn’t worry about travelling alone during the day. In case of emergency, call:
Ask the organizers for nearby pharmacies and clinics; we can help arrange assistance if needed.
When filling in the Immigration form at the airport give the address as Bellairs Research Institute, Holetown, Parish of St. James.
Barbados is in the Atlantic Standard Time Zone (AST), which is UTC-4. There is no Daylight Saving Time in Barbados.
Barbados uses 115V/50Hz electricity with Type A and B plugs (same as in the US and Canada). If your devices use different plugs or voltages, you will need an adapter and/or converter.
US currency is freely accepted at 2 Barbadian dollars per US dollar.
Other currencies (Euro, Pound Sterling, Canadian Dollar) are not accepted; you will have to change them at banks or at the airport. Some people had trouble using their bank cards from Europe, but Canadian and US cards seem to work fine. At the airport, if you go around to the departures side just after you arrive, you will find cash machines there; strangely there are no ATMs at the arrivals area.
We recommend bringing:


This workshop is funded by the European Research Council DynAMiCs (ERC Synergy Grant: 101167561)