| Program | Home > Program |
Please note that this schedule is tentative and may be updated.
|
Monday |
General advice on machine learning in mathematics |
|
morning slot 1 |
Geordie Williamson |
|
morning slot 2 |
François Charton |
|
afternoon slot 1 |
Tristan Buckmaster |
|
afternoon slot 2 |
Thomas Oliver |
|
afternoon slot 3 |
Tutorial: Alexey Pozdnyakov |
|
Tuesday |
Mathematical physics and knot theory |
|
morning slot 1 |
Koji Hashimoto |
|
morning slot 2 |
Sergei Gukov |
|
afternoon slot 1 |
Radmila Sazdanovic |
|
afternoon slot 2 |
Free time for collaboration |
|
afternoon slot 3 |
Tutorial: Akinori Tanaka |
|
Wednesday |
Formalization and introduction to Lean |
|
morning slot 1 |
Jeremy Avigad |
|
morning slot 2 |
Zaiwen Wen |
|
afternoon slot 1 |
Afternoon excursion |
|
afternoon slot 2 |
Afternoon excursion |
|
afternoon slot 3 |
Afternoon excursion |
|
Thursday |
Autoformalization and automated theorem proving |
|
morning slot 1 |
Youngmi Hur |
|
morning slot 2 |
Fabian Glöckle |
|
afternoon slot 1 |
Tutorial: Ashvni Narayanan |
|
afternoon slot 2 |
Free time for collaboration / Experimentation |
|
afternoon slot 3 |
Tutorial: Yutong Wang |
|
Friday |
Geometry and applications |
|
morning slot 1 |
Gergely Berczi |
|
morning slot 2 |
Rak-Kyeong Seong |
|
afternoon slot 1 |
Baran Hashemi |
|
afternoon slot 2 |
Tutorial: Tomás Silva |
|
afternoon slot 3 |
Free time for collaboration |