Monday, September 14
Yevgeny Liokumovich (University of Toronto)
Lecture 01 | Mathematics for AI Safety
Zach Furman, University of Melbourne
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 01 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Mustazee Rahman (Durham University)
New perspectives on the KPZ fixed point
Pamela Brittain (The Fields Institute)
Office Hours
Pamela Brittain (The Fields Institute)
Instructional Time
Tuesday, September 15
Xiangyu Li, PNNL
Quantum Enabled Predictability for Multiscale Nonlinear Complex Systems
Part of the Thematic Program on Quantum Algorithms for Differential Equations
Pamela Brittain (The Fields Institute)
Office Hours
Pamela Brittain (The Fields Institute)
Instructional Time
Wednesday, September 16
Yevgeny Liokumovich (University of Toronto)
Lecture 02 | Mathematics for AI Safety
Pamela Brittain (The Fields Institute)
Office Hours
Pamela Brittain (The Fields Institute)
Instructional Time
Thursday, September 17
Pamela Brittain (The Fields Institute)
Office Hours
Pamela Brittain (The Fields Institute)
Instructional Time
Friday, September 18
Heather Macbeth, Fordham University
