Videos

Start date cannot be after end date.

Andrew Appel - Building a Formally Verified Finite Element Method Solver, One Component At a Time

September 18, 2026
IPAM
Learning from Complexity III Thumbnail

Learning from Complexity III

Presenter
  • Maryanthe Malliaris
March 20, 2026
IAS
Learning from Complexity II Thumbnail

Learning from Complexity II

Presenter
  • Maryanthe Malliaris
March 18, 2026
IAS
Combinatorial and Geometric Challenges in PAC Learning with Partial Concepts Thumbnail

Combinatorial and Geometric Challenges in PAC Learning with Partial Concepts

Presenter
  • Shay Moran
September 15, 2025
IAS