Machine Assisted Proofs
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))

