Formalizing Class Field Theory
- Start Date
- 2025-07-21
- End Date
- 2025-07-25
- Institution
- University of Oxford
- City
- Oxford
- Country
- United Kingdom
- Meeting Type
- Workshop
- Homepage
- https://www.claymath.org/events/formalizing-class-field-theory/
- Contact Name
- Kevin Buzzard
- Created
- 3/18/25, 3:02 PM
- Modified
- 3/18/25, 3:02 PM
Description
This is a workshop where the participants will write computer code corresponding to mathematical results needed in the proofs of the main theorems of local and global class field theory. The participants should have some basic knowledge of at least one of, and ideally both of, the number theory involved in the proofs, and the Lean theorem prover.
Problems?
If you notice a problem with this entry, please contact the curators by email.