Dynamical systems, of both continuous and discrete kind, permeate vast areas of mathematics, physics, and computer science. This workshop, organised by Joël Ouaknine, Nisheeth Vishnoi, and James Worrell, brought together experts from these various disciplines, and aimed to focus – in a very broad sense – on algorithmic aspects of the analysis of the behaviour of dynamical systems. The intention was to discuss ongoing work, research directions, open problems, and to foster new collaborations.

The workshop took place at McGill University’s Bellairs Research Institute, located directly on a beautiful beach in Barbados. The Bellairs Institute provided basic accommodation (in double occupancy only), and participation was by invitation.

We gave speakers ample time to describe background and get to technical details, and there were lots of opportunities for extensive discussions. Talks were given on primitive chalkboards.

There was a parallel workshop on Probabilistic Programming Languages organised by Prakash Panangaden and Alexandra Silva.

10-17 March 2017