LEGEND Click on the circle to filter eventsSwitch to column view
Sunday, November 8
University of Waterloo
Monday, November 9
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 15 | Mathematics for AI Safety
1:00 PM, Fields Institute, Room 309, Stewart Library
Matthew Ballard, University of South Carolina
2:00 PM, Fields Institute, Room 210
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 07 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Wednesday, November 11
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 16 | Mathematics for AI Safety
Thursday, November 12
2:00 PM, Fields Institute, Room 309, Stewart Library
TBA
Friday, November 13
10:00 AM, Fields Institute, Room 210
Zohar Ringel (The Hebrew University of Jerusalem)
Lecture 06 | Mini-Course on Statistical Mechanical Approaches to Deep Learning
11:00 AM, Online
Tom Szwagier, Institut de Recherche en Informatique de Toulouse
Nested Subspace Learning with Flags
3:15 PM, Fields Institute, Room 210
Zachary Hamaker (University of Florida)
TBA
