Monday, November 2
Yevgeny Liokumovich (University of Toronto)
Lecture 12 | Mathematics for AI Safety
Anastasis Kratsios (McMaster University)
Lecture 20 | Mathematical Foundations of AI
Oliver Richardson, Law Zero
Must you see everything? On impartiality and the power of partial information.
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 06 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Pierre Yves Gaudreau Lamarre (Princeton University)
Recovering Signals from Edge Fluctuations using Spectral Geometry
Tuesday, November 3
Hsing-Ta Chen, University of Notre Dame
Navigating Various Disorders and Dynamics in Strongly Coupled Light-Matter Systems
Symplectic geometry of higher Lie groupoids (Part 3)
David Rolnick (MILA), Maia Fraser (U Ottawa) and Shiela McIlraith (U Toronto)
4) Retain responsibility for correctness
Wednesday, November 4
Yevgeny Liokumovich (University of Toronto)
Lecture 13 | Mathematics for AI Safety
Anastasis Kratsios (McMaster University)
Lecture 21 | Mathematical Foundations of AI
Symplectic geometry of higher Lie groupoids (Part 4)
Thursday, November 5
Anastasis Kratsios (McMaster University)
Lecture 22 | Mathematical Foundations of AI
Friday, November 6
Zohar Ringel (The Hebrew University of Jerusalem)
Lecture 06 | Mini-Course on Statistical Mechanical Approaches to Deep Learning
Alvaro Gajardo, Google
Anupam Mazumdar, Canadian Institute for Theoretical Astrophysics (CITA)
Spin Entanglement Witness for the Quantum Nature of Gravity in a Lab
Clement Yung
Saturday, November 7
Sunday, November 8

