Videos

Start date cannot be after end date.
James Davenport - How to prove a calculation correct? - IPAM at UCLA Thumbnail

James Davenport - How to prove a calculation correct? - IPAM at UCLA

Presenter
  • James Davenport
February 16, 2023
IPAM
Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory Thumbnail

Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory

Presenter
  • Maria Maria Ines de Frutos Fernandez
February 16, 2023
IPAM
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA Thumbnail

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

Presenter
  • Andrej Bauer
February 13, 2023
IPAM
Xavier Bresson - Graph MLP-Mixer for Molecular Analysis - IPAM at UCLA Thumbnail

Xavier Bresson - Graph MLP-Mixer for Molecular Analysis - IPAM at UCLA

Presenter
  • Xavier Bresson
January 25, 2023
IPAM