Monday, October 26
Yevgeny Liokumovich (University of Toronto)
Lecture 11 | Mathematics for AI Safety
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 06 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Wednesday, October 28
Speakers:
Petter Kolm (Courant Institute of Mathematical Sciences, New York University)
Rosella Giacometti (university of Bergamo)
Rama Cont
Rudi Zagst
Oleksandr Romanko
Yevgeny Liokumovich (University of Toronto)
Lecture 12 | Mathematics for AI Safety
Geneviève Gauthier (HEC Montreal)
Deep Hedging with Option-Market Information
Thursday, October 29
Speakers:
Haitao Li (University of Missouri - St. Louis)
Roy Kwon (University of Toronto)
Lorenzo Reus (Universidad Adolfo Ibáñez)
Stan Uryasev (Stony Brook University)
Koray Simsek (Rollins College)
Nikolas Topaloglou
Darinka Dentcheva (Stevens Institute of Technology)
Giorgio Consigli
Chanaka Ediriisinghe (Rensselaer Polytechnic Institute)
Friday, October 30
Speakers:
Andrea Belz (University of Southern California)
Andrea Consiglio
Ron Dembo
John Birge (University of Chicago)
Andrzej Ruszczynski
Stavros Zenios (Durham University)
John Mulvey

