Machine Assisted Proofs - IPAM

Machine Assisted Proofs

February 13 - 17, 2023

Workshop photos

Machine Assisted Proofs

Machine Assisted Proofs

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))