Computational mathematics in computer assisted proofs
September 12 to September 16, 2022
American Institute of Mathematics, San Jose, CA

Organizers:
Charles Fefferman, Anders Hansen, and Svetlana Jitomirskaya

Description:
This workshop, sponsored by AIM and the NSF, will be devoted to the
use of computational mathematics in computer assisted proofs. 

Deadline:
April 12, 2022  

Details:
http://aimath.org/workshops/upcoming/compproofs