Plücker Lectures 2022 by Kevin Buzzard and Johan Commelin
Wednesday 2 November 2022 15:15-17:30
Johan Commelin (University of Freiburg)
Introductory lecture on Lean and demonstrations
Coffee break and introduction of the GlobalMathNetwork around 4 PM
--------------------------------------------------------
Thursday and Friday 3-4 November starting 16:15
Johan Commelin
Practical Sessions in the CIP-Pool
--------------------------------------------------------
- Kevin Buzzard taken by me Paula Buzzard in London 2007.
Monday 7 November 2022 17:00-18:00
Kevin Buzzard (Imperial College London)
The Future of Mathematics
--------------------------------------------------------
Tuesday 8 November 2022 17:00-18:00
Kevin Buzzard
Theorem provers and modern research
--------------------------------------------------------
Abstracts to be found here.
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
7 - 8 November Coffee will be served before the lectures
Monday 7 November as of 18:00 informal discussion and reception
Venues: Lipschitz-Hall, CIP-Pool in the Annexe, Plücker Room Mathematics Centre, Endenicher Allee 60.