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.