CRM: Centro De Giorgi
logo sns

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

18 June 2024 - 21 June 2024

Timetable

Weeks: [Tue 18 Jun - Fri 21 Jun]
Date Time Speaker Room
Tue 18 Jun 8:30- 9:00 Registration Aula Dini
9:00- 9:50 Tucker, Warwick
"Lower bounds on the Hausdorff dimensions of Julia sets" 		Aula Dini
9:50- 10:10 Coffee break Aula Dini
10:10- 11:00 Nisoli, Isaia
"Rigorous enclosure of the discrete spectrum for transfer operators" 		Aula Dini
11:00- 11:50 Discussion and self organized collaboration Aula Dini
12:00- 15:30 Lunch Aula Dini
15:30- 16:20 Gouëzel, Sébastien
"The Lean theorem prover" 		Aula Dini
16:20- 16:40 Coffee break Aula Dini
16:40- 17:30 Slipantschuk, Julia
"Spectra of transfer and Koopman operators" 		Aula Dini
17:30- 18:20 Discussion and self organized collaboration Aula Dini
Wed 19 Jun 9:00- 9:50 Zhang, Hongkun
"Machine learning of Hamiltonian dynamical systems" 		Aula Dini
9:50- 10:10 Coffee break Aula Dini
10:10- 11:00 Bandtlow, Oscar
"Explicit resolvent bounds for transfer operators" 		Aula Dini
11:00- 11:50 Discussion and self organized collaboration Aula Dini
12:00- 15:30 Lunch Aula Dini
15:30- 16:20 Pollicott, Mark
"Estimates on Lyapunov exponents via the pressure function" 		Aula Dini
16:20- 16:40 Coffee break Aula Dini
16:40- 17:30 Buzzi, Jerome
"Computing and visualizing measures with maximum entropy and other equilibrium states" 		Aula Dini
Thu 20 Jun 9:00- 9:45 Wormell, Caroline
"Two classes of highly effective discretisations" 		Aula Dini
9:50- 10:10 Coffee break Aula Dini
10:10- 11:00 Korepanov, Alexey
"High performance computing on a teapot" 		Aula Dini
11:00- 11:50 Common Work Aula Dini
12:00- 15:00 Lunch Aula Dini
15:00- 16:40 Common work Aula Dini
16:40- 17:00 Coffee break Aula Dini
17:00- 17:50 Round table on visualization (Chairman: JR Chazottes) Aula Dini
17:50- 18:20 Discussion and self organized collaboration Aula Dini
Fri 21 Jun 9:00- 9:50 Vytnova, Polina
"Dimension function of the Lagrange and Markov spectra" 		Aula Dini
9:50- 10:10 Coffee break Aula Dini
10:10- 11:00 Thomine, Damien
"Formalizing topological entropy in Lean" 		Aula Dini
11:00- 11:50 Final Round Table Aula Dini
11:50- 13:00 Lunch Aula Dini