Computer-assisted proofs, proof assistants and visualization in dynamical systems
18 June 2024 - 21 June 2024
Invited Speakers
[table view]
Oscar Bandtlow
Queen Mary University of London
Jerome Buzzi
Université Paris-Saclay
Alexey Korepanov
Loughborough University
Marc Monticelli
CNRS, Université de Nice
Isaia Nisoli
Universidade Federal de Rio de Janeiro
Mark Pollicott
University of Warwick
Julia Slipantschuk
University of Warwick
Damien Thomine
Université Paris-Saclay
Warwick Tucker
Monash University
Polina Vytnova
University of Surrey
[<<Prev -
Next>>]
