Videos

Start date cannot be after end date.

Shape optimization and shapeshifting in soft matter

Presenter
  • Timothy Atherton
June 28, 2024
ICERM
Imitation Games Thumbnail

Imitation Games

Presenter
  • Avi Wigderson
May 6, 2021
IAS
A Sheaf Theoretic Modeling and Composition Framework for Complex Systems of Systems: Application to the Traffic Collision Avoidance Thumbnail

A Sheaf Theoretic Modeling and Composition Framework for Complex Systems of Systems: Application to the Traffic Collision Avoidance

Presenter
  • Alberto Speranzon
February 3, 2017
IMA
Architectural Trends and Programming Model Strategies for Large-Scale Machines Thumbnail

Architectural Trends and Programming Model Strategies for Large-Scale Machines

Presenter
  • Katherine Yelick
April 13, 2007
SLMath
Random Perturbation of Toeplitz Matrices Thumbnail

Random Perturbation of Toeplitz Matrices

Presenter
  • Charles Bordenave
October 20, 2025
IAS
Reverse Mathematics of Complexity Lower Bounds, Part II Thumbnail

Reverse Mathematics of Complexity Lower Bounds, Part II

Presenter
  • Hanlin Ren
March 17, 2026
IAS
Reverse Mathematics of Complexity Lower Bounds, Part I Thumbnail

Reverse Mathematics of Complexity Lower Bounds, Part I

Presenter
  • Hanlin Ren
March 10, 2026
IAS
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA Thumbnail

Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA

Presenter
  • Bohua Zhan
February 16, 2023
IPAM
Team 2: Visually significant QR-codes Thumbnail

Team 2: Visually significant QR-codes

Presenter
  • Izhak (Zachi) Baharav
August 7, 2013
IMA
Anne Baanen - Computing with or despite the computer - IPAM at UCLA Thumbnail

Anne Baanen - Computing with or despite the computer - IPAM at UCLA

Presenter
  • Anne Baanen
February 14, 2023
IPAM
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq Thumbnail

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

Presenter
  • Micaela Mayero
February 15, 2023
IPAM

Modeling the Crosstalk for the High-throughput DNA Sequencing Data

Presenter
  • Lin Wan
October 4, 2016
MBI