Amos Turchet
@amosturchet.bsky.social
Prof of Mathematics at Roma Tre. Interested in Math Music Choir Books and Software
Reposted by Amos Turchet
Formalizing Class Field Theory: a Clay and Heilbronn Institute (CMI-HIMR) Summer School, for PhD students, taking place in person in Oxford 21-25 July 2025. If you know some number theory and know some Lean this will be a really fun week. Registration open! Details@ www.claymath.org/events/forma...
Formalizing Class Field Theory - Clay Mathematics Institute
Class Field Theory in its cohomological form is one of the highlights of early 20th century mathematics, and is now understood as the abelian case of the Langlands Philosophy. Although it sounds like ...
www.claymath.org
January 16, 2025 at 4:47 PM
Formalizing Class Field Theory: a Clay and Heilbronn Institute (CMI-HIMR) Summer School, for PhD students, taking place in person in Oxford 21-25 July 2025. If you know some number theory and know some Lean this will be a really fun week. Registration open! Details@ www.claymath.org/events/forma...
