About

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.

Details

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.

Participants

List of confirmed participants.

Name Affiliation
Chris SchulzDepartment of Pure Mathematics, University of Waterloo
Emil Rugaard WieserMax Planck Institute for Software Systems
Emre SertözMathematical Institute, Leiden University
Faustin AdiceamUniversité Paris-Est Créteil
Florian LucaMax Planck Institute for Software Systems
Holly KriegerDepartment of Pure Mathematics and Mathematical Statistics, University of Cambridge
James WorrellUniversity of Oxford
Jihyuk SeoInstitut de Recherche en Informatique Fondamentale
Joël OuaknineMax Planck Institute for Software Systems
Laura DeMarcoDepartment of Mathematics, Harvard University
Laurent BartholdiInstitut Camille Jordan, CNRS, Université Claude Bernard Lyon 1
Maria Clara WerneckInstitut de Recherche en Informatique Fondamentale
Mihir VahanwalaMax Planck Institute for Software Systems
Piotr BacikMax Planck Institute for Software Systems | University of Oxford
Taieb OussaifiMax Planck Institute for Software Systems
Tifany KonieznaInstitut de Recherche en Informatique Fondamentale
Toghrul KarimovMax Planck Institute for Software Systems
Valérie BérthéInstitut de Recherche en Informatique Fondamentale
Victor ShirandamiInstitut de Recherche en Informatique Fondamentale

Practical Information

Getting Here

By Air

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)

By Taxi

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.

Accommodation

Room bookings are made by the organizers. Please do not contact Bellairs staff directly.

Food & Coffee

  • Breakfast: US$16
  • Dinner: US$28
  • Breakfast and dinner are served on site.

Safety & Contacts

Barbados is safe and one shouldn’t worry about travelling alone during the day. In case of emergency, call:

Pharmacy & Medical

Ask the organizers for nearby pharmacies and clinics; we can help arrange assistance if needed.

Good-to-know

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.

Currency & Money Exchange

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.

Health & Safety
  • No vaccinations are required to enter Barbados.
  • Tap water is safe to drink.
  • Use sunscreen and mosquito repellent to avoid sunburn and mosquito bites.
Bring with you

We recommend bringing:

  • suntan lotion (or dark skin)
  • mosquito repellent
  • swimwear 😉
  • Papers/books/stationary
  • Light clothing (it will be pleasantly warm or unbearably hot depending on what you are used to)
  • Your own laptop (wireless hookup is available)

Organizers

Portrait of Joel Ouaknine

Joël Ouaknine

Max Planck Institute for Software Systems
Portrait of Valerie Berthe

Valérie Berthé

Institut de Recherche en Informatique Fondamentale
Portrait of Florian Luca

Florian Luca

Max Planck Institute for Software Systems

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