Monday, September 21
Yevgeny Liokumovich (University of Toronto)
Lecture 03 | Mathematics for AI Safety
Rubi Hudson, University of Toronto
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 02 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Wednesday, September 23
Yevgeny Liokumovich (University of Toronto)
Lecture 04 | Mathematics for AI Safety
Friday, September 25
Tillmann Miltzow, Utrecht University
Training Fully Connected Neural Networks is ∃R-Complete
TBA
Saturday, September 26
Speakers:
Deirdre Haskell (Fields Institute for Research in Mathematical Sciences)
Jennifer Holm (Wilfrid Laurier University)
(Queen’s University, recipient of the 2023 Margaret Sinclair Memorial Award)
Ann Kajander (Lakehead University, recipient of the 2014 Margaret Sinclair Memorial Award)
