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