Dynamical systems, of both continuous and discrete kinds, permeate vast areas of mathematics, physics, and computer science. This workshop, organised by Joël Ouaknine and James Worrell, is bringing together experts from these various disciplines, and aims to focus – in a very broad sense – on algorithmic aspects of the analysis of the behaviour of dynamical systems. In particular, this encompasses topics at the intersection of computer science (decision problems, invariant generation, etc.) and mathematics (number theory, Diophantine geometry, arithmetic dynamics, etc.). We intend to discuss ongoing work, research directions, open problems, and to foster new collaborations.
The workshop is taking place at McGill University’s Bellairs Research Institute, located directly on a beautiful beach in Barbados. The Bellairs Institute provides basic accommodation (in double occupancy only), and participation is by invitation.
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.
There is a parallel workshop on “Quantitative Logic and Reasoning” organised by Prakash Panangaden and Alexandra Silva.