Kevin Buzzard and Johan Commelin
Notes:
On 2. November, before the coffee break the GlobalMathNetwork will be presented.We expect and recommend that all doctoral students attend the lecture, even if they will not be attending the practical sessions. On 7. and 8. November Coffee will be served before the lectures. On Monday the 7. November as of 18:00 informal discussion and reception and a reception will take place.
Venues: Lipschitz-Hall, CIP-Pool in the Annexe, Plücker Room Mathematics Centre, Endenicher Allee 60.
Wednesday, November 2, 2022
15:15 - 17:30, Introductory lecture on Lean and demonstrations
Around 4pm, Coffee break and introduction of the GlobalMathNetwork
Thursday, November 3, 2022
Starting 16:00, Practical Sessions in the CIP-Pool
Friday, November 4, 2022
Starting 16:00, Practical Sessions in the CIP-Pool
Monday, November 7, 2022
17:00 - 18:00, The Future of Mathematics
Tuesday, November 8, 2022
17:00 - 18:00, Theorem provers and modern research