LEGEND Click on the circle to filter eventsSwitch to column view
Monday, November 2
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 13 | Mathematics for AI Safety
1:00 PM, Fields Institute, Room 309, Stewart Library
Damiano Fornasiere & Oliver Richardson, Law Zero)
2:00 PM, Fields Institute, Room 210
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 06 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Tuesday, November 3
1:00 PM, Online
4) Retain responsibility for correctness
Wednesday, November 4
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 14 | Mathematics for AI Safety
Friday, November 6
University of Waterloo
10:00 AM, Fields Institute, Room 210
Zohar Ringel (The Hebrew University of Jerusalem)
Lecture 05 | Mini-Course on Statistical Mechanical Approaches to Deep Learning
Saturday, November 7
University of Waterloo
Sunday, November 8
University of Waterloo
