Formalising algebraic geometry
June 24 to June 28, 2024
American Institute of Mathematics, Pasadena, CA

Organizers:
Kevin Buzzard, Johan Commelin, Joel Riou, and Adam Topaz

Description:
This online workshop, sponsored by AIM and the NSF, will be devoted to
translating basic and advanced concepts in algebraic geometry into
the language of the Lean theorem prover. 

Deadline:
February 24, 2024  

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