LEGEND Click on the circle to filter eventsSwitch to column view
Monday, September 28
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 05 | Mathematics for AI Safety
1:00 PM, Fields Institute, Room 309, Stewart Library
Noam Levi, EPFL - Swiss Federal Technology Institute of Lausanne
2:00 PM, Fields Institute, Room 210
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 03 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Tuesday, September 29
5:00 PM, Fields Institute, Room 230
Chiaki Hara (Kyoto University)
Shareholder Engagement in an ESG-CAPM with Incomplete Markets: Much ado about nothing?
Wednesday, September 30
10:00 AM, Online
Yevgeny Liokumovich (University of Toronto)
Lecture 06 | Mathematics for AI Safety
Friday, October 2
1:30 PM, Fields Institute, Room 210
Andy Zucker, University of Waterloo
TBA
