Videos

Start date cannot be after end date.
Galois covers in positive characteristic Thumbnail

Galois covers in positive characteristic

Presenter
  • Rachel Pries
February 10, 2014
SLMath
Representation stability and applications to homological stability Thumbnail

Representation stability and applications to homological stability

Presenter
  • Thomas Church
January 31, 2014
SLMath
On the strong approximation in algebraic groups Thumbnail

On the strong approximation in algebraic groups

Presenter
  • Andrei Rapinchuk
February 7, 2012
SLMath
Combinatorial Theorems in Random Sets Thumbnail

Combinatorial Theorems in Random Sets

Presenter
  • David Conlon
November 22, 2010
IAS
On the Realization of Some Degenerate Automorphic Forms on Certain Griffiths-Schmid Varieties Thumbnail

On the Realization of Some Degenerate Automorphic Forms on Certain Griffiths-Schmid Varieties

Presenter
  • Henri Carayol
November 10, 2010
IAS
Algorithmic Dense Model Theorems, Decompositions, and Regularity Theorems Thumbnail

Algorithmic Dense Model Theorems, Decompositions, and Regularity Theorems

Presenter
  • Russell Impagliazzo
December 8, 2009
IAS

Robert Joseph George - Verified Scientific Machine Learning in Lean

September 18, 2026
IPAM

Kazuaki Tanaka - Constructing Certified Enclosures with Neural Sub- and Super-Solutions

September 17, 2026
IPAM
How to Sketch a Learning Algorithm Thumbnail

How to Sketch a Learning Algorithm

Presenter
  • Sam Dunn
May 28, 2026
IAS

Compute Through the Chaos, Asynchrony and Fault Tolerance in Iterative Methods

Presenter
  • Alyson Fox
May 4, 2026
ICERM
Galois Action on Higher etale Homotopy Groups Thumbnail

Galois Action on Higher etale Homotopy Groups

Presenter
  • Alexander Petrov
March 9, 2026
IAS
p-adic Values of G-functions and Unlikely Intersections Thumbnail

p-adic Values of G-functions and Unlikely Intersections

Presenter
  • Georgios Papas
October 16, 2025
IAS