Monday, October 5
Yevgeny Liokumovich (University of Toronto)
Lecture 07 | Mathematics for AI Safety
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 04 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Gordon Slade (University of British Columbia)
Crossover from subcritical to critical decay: random walk, self-avoiding walk, percolation
Tuesday, October 6
Speakers:
A. Helmy
A. Steinberg
Chris Kapulkin (Western and Vanderbilt), Misha Belkin (UC San Diego), Andrew Marks (UC Berkeley)
2) Support the needs of reviewing
Jeniffer Willet (University of Windsor), Vladimir Kanic, Deepikah (OCAD)
Algae Soiree artists working with algae at the intersection of art, science and ecology
Wednesday, October 7
Yevgeny Liokumovich (University of Toronto)
Lecture 08 | Mathematics for AI Safety
Inbo Gottlieb Fenves, University of Wisconsin-Madison
Pairs of saddle connections on translation surfaces
Thursday, October 8
Gaurav Patil (Lodha Institute of Mathematical Sciences)
Dissecting Selberg...Sieve!: 1. On the Hardy-Littlewood result on zeros on critical line. (Part 2)
Kai Xu (IAS)
Infinity-harmonic functions in the plane
Yulun Xu (University of Toronto)
Regularization and Holder continuity for complex Hessian equations on Hermitian manifolds
Friday, October 9
Zohar Ringel (The Hebrew University of Jerusalem)
Lecture 02 | Mini-Course on Statistical Mechanical Approaches to Deep Learning
Calvin Tsay, Imperial College London
Gady Kozma (Weizmann Institute of Science)
Once-reinforced random walk
Ari Brodsky, Shamoon College of Engineering
Higher special Lindelöf trees from the proxy principle
Ethan Partida (Brown University)
TBA
Kathleen Cherrington, Thalia Godbout, Kwame Kyei-Boateng, Hrysovalanti F. Maheras, Rowan Munson, Peter Oke, Omar Shabbar, Zhino Yousefi
PECHA KUCHA 2026 reimagine horizons

