2025 CMI-HIMR Summer School on Formalizing Class Field Theory
13.01.2025 in Events, Sponsored events21 – 25 July 2025 Hosted by: Mathematical Institute, University of Oxford, UK Jointly funded by the Clay Mathematics Institute and the Heilbronn Institute for Mathematical Research. Prerequisites:…
