Keynote Speakers

Yael Kalai, Massachusetts Institute of Technology


Survey and Recent Advancements in Doubly Efficient Interactive Proofs

Wednesday June 24, 2026, 11:15am

Abstract: TBA.


Adam Klivans, UT Austin


Efficient Algorithms for Reliable Machine Learning 

Thursday June 25, 2026, 11:30am

Abstract: TBA


Jon Kleinberg, Cornell University


AI's Models of the World, and Ours

Friday June 26, 2026, 11:30am

Abstract: TBA