Skip to content

Latest commit

 

History

History
34 lines (29 loc) · 1.27 KB

participants.md

File metadata and controls

34 lines (29 loc) · 1.27 KB
Raw
layout title author image
default
Participants
Community
mountains.jpg

(No) Registration

Registration is not required, you can simply show up at any of the activities of the workshop. Please visit our dedicated Zulip stream at the start of the workshop. It will function as virtual “common room”.

Even though registration is not required, as a first exercise in using GitHub (a central tool in the lean community) we invite you to make a Pull Request modifying this webpage's source to add your name to the list below (in alphabetical order).

Participants

  • Kevin Buzzard (Imperial College London, UK)
  • Johan Commelin (Universität Freiburg, DE)
  • Cameron Freer (Massachusetts Institute of Technology, US)
  • Yury Kudryashov (University of Toronto, CA)
  • Robert Y. Lewis (Vrije Universiteit Amsterdam, NL)
  • Patrick Massot (Université Paris-Saclay at Orsay, FR)
  • Filippo A. E. Nuccio (Université de Lyon, UJM Saint-Étienne, FR)
  • David Wärn (University of Cambridge, UK)