Machine Assisted Proofs - IPAM

Machine Assisted Proofs

February 13 - 17, 2023

Workshop photos

Organizing Committee

Erika Abraham (RWTH Aachen University)
Jeremy Avigad (Carnegie Mellon University)
Kevin Buzzard (Imperial College London)
Jordan Ellenberg (University of Wisconsin-Madison)
Tim Gowers (College de France)
Marijn Heule (Carnegie Mellon University)
Terence Tao (University of California, Los Angeles (UCLA))