Videos

Start date cannot be after end date.

Globally Rigid Tensegrities

Presenter
  • Robert Connelly
July 6, 2026
ICERM

Why Does Rigidity Matter?

Presenter
  • Robert Connelly
February 10, 2025
ICERM

Connections

Presenter
  • Robert Connelly
July 6, 2020
ICERM

Equilateral Equiangular Polygons in the Plane

Presenter
  • Robert Connelly
September 14, 2016
ICERM

Flavors of Rigidity for Sticky Spheres

Presenter
  • Robert Connelly
March 19, 2015
ICERM

Robert Joseph George - Verified Scientific Machine Learning in Lean

September 18, 2026
IPAM

A user's guide to bounding number fields

Presenter
  • Robert Lemke Oliver
June 8, 2026
ICERM

Sheaves for Wildfire Tracking and Semantic Type Checking

Presenter
  • Robert Green
May 21, 2026
ICERM

How to design tools for formalization

Presenter
  • Robert Lewis
May 13, 2026
ICERM

An online, adaptive finite element method for problems in nonsmooth PDE-constrained optimization

Presenter
  • Robert Baraldi
April 17, 2026
ICERM

Quantum Computing and Cellular Phones

Presenter
  • Robert Calderbank
April 11, 2026
ICERM

Fast Mixing MCMC without Gradients

Presenter
  • Robert Scheichl
March 5, 2026
ICERM