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