Universität Bonn

25. April 2024

10.-14.06.24: Informal workshop on formalising the global Langlands conjectures 10.-14.06.24: Informal workshop on formalising the global Langlands conjectures

Kevin Buzzard_small.jpg
Kevin Buzzard_small.jpg © Kevin Buzzard
Download all images in original size The impression in connection with the service is free, while the image specified author is mentioned.

June 10 - 14, 2024 

Venue: HIM lecture hall, Poppelsdorfer Allee 45, Bonn

Website

Kevin Buzzard will be giving some lectures at HIM on the current state of the project to formalise Fermat's Last Theorem in Lean. The lectures will be suitable for master's students and above interested in formalisation and number theory. During the week he will suggest many formalisation topics to work on and guide the attendees through how to contribute to the project via individual or group work. Most of the time will be spent working on Lean projects. Anyone interested is welcome, including Lean beginners, although you would be better off if you've worked through some of the free online textbook "Mathematics in Lean". 

Wird geladen