This is the old version of the CRM site. Please use the new site on the page crmdegiorgi.sns.it

Computer-assisted proofs, proof assistants and visualization in dynamical systems

18 June 2024 - 21 June 2024

Organizing Committee

Jean-René Chazottes

CNRS and École polytechnique

Stefano Galatolo

Università di Pisa

Sébastien Gouëzel

CNRS and Université de Rennes