Computer-assisted proofs, proof assistants and visualization in dynamical systems
18 June 2024 - 21 June 2024
Invited Speakers
[page view]
| Name | Affiliation | period |
| Oscar Bandtlow |
Queen Mary University of London |
|
| Jerome Buzzi |
Université Paris-Saclay |
|
| Sébastien Gouëzel |
CNRS and Université de Rennes |
|
| Alexey Korepanov |
Loughborough University |
|
| 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 |
|
| Caroline Wormell |
Australian National University |
|
| Hongkun Zhang |
University of Massachusetts Amherst |
|
