(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 Prover 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

• Aniruddh Agarwal (University of Michigan, US)
• Aaron Anderson (University of California Los Angeles, US)
• Shivam Arora (Memorial University of Newfoundland, CA)
• Jeremy Avigad (Carnegie Mellon University US)
• Anne Baanen (Vrije Universiteit Amsterdam, NL)
• Jennifer Balakrishnan (Boston University, US)
• Matthew R. Ballard (University of South Carolina, US)
• Barinder S. Banwait
• Asilata Bapat (Australian National University, AU)
• Alex J. Best (Boston University, US)
• Peter Bruin (Universiteit Leiden, NL)
• Kevin Buzzard (Imperial College London, UK)
• Victoria Cantoral (KU Leuven, BE)
• Mario Carneiro (Carnegie Mellon University, US)
• Antoine Chambert-Loir (Université de Paris, FR)
• Johan Commelin (Universität Freiburg, DE)
• John Cremona (University of Warwick, UK)
• Sander Dahmen (Vrije Universiteit Amsterdam, NL)
• Dhruva Divate (University of Tübingen, DE)
• Floris van Doorn (University of Pittsburgh, US)
• Matt Earnshaw
• Thomas Eckl (University of Liverpool, UK)
• Cameron Freer (Massachusetts Institute of Technology, US)
• Sébastien Gouëzel (University of Nantes, FR)
• Damián Gvirtz (Leibniz Universität Hannover, DE)
• Jeroen Hanselman (Universität Ulm, DE)
• Yun Hao (DE)
• Jan Hennig (Leibniz Universität Hannover, DE)
• Emil Jacobsen (Universität Zürich, CH)
• Peter Jipsen (Chapman University, US)
• Vaibhav Karve (University of Illinois at Urbana-Champaign, US)
• Martin Křepela (Czech Technical University, CZ)
• Angelos Koutsianas (University of British Columbia, CA)
• Yury Kudryashov (University of Toronto, CA)
• Julian Külshammer (Uppsala University, SE)
• Jun Bo Lau (University of California San Diego, US)
• Marius Leonhardt (Universität Heidelberg, DE)
• Robert Y. Lewis (Vrije Universiteit Amsterdam, NL)
• Heather Macbeth (Fordham University, US)
• Sylvain Maillot (Université de Montpellier, FR)
• Christophe Margerin (CMLS, Ecole Polytechnique, FR)
• Filip Marić (University of Belgrade, SR)
• Patrick Massot (Université Paris-Saclay at Orsay, FR)
• Benjamin Matschke (Boston University, US)
• Bhavik Mehta (University of Cambridge, UK)
• Sophie Morel (CNRS/ENS Lyon, FR)
• Harshit J Motwani
• Apurva Nakade (University of Western Ontario, CA)
• Wojciech Nawrocki (University of Cambridge, UK)
• Khoi Nguyen
• Filippo A. E. Nuccio (Université de Lyon, UJM Saint-Étienne, FR)
• Andrew O’Desky (University of Michigan, US)
• Dmitrii V. Pasechnik (University of Oxford, UK)
• Dmitrii Pochekutov (Siberian Federal University, RU)
• Miguel Raz Guzmán Macedo (Universidad Nacional Autónoma de México, Facultad de Ciencias, MX)
• Silvain Rideau-Kikuchi (CNRS, Université de Paris, FR)
• Tony Scholl (University of Cambridge, UK)
• Borja Sierra (University of Seville, ESP)
• William Simmons (Hobart and William Smith, US)
• Ivan Šimunović (University of Zagreb, HR)
• Pim Spelier (Universiteit Leiden, NL)
• Dan Stanescu (University of Wyoming, US)
• Andrew Sutherland (MIT, US)
• Frank Taipe (Université Paris-Saclay at Orsay, FR)
• Damiano Testa (University of Warwick, UK)
• Damien Thomine (Université Paris-Saclay at Orsay, FR)
• Adam Topaz (University of Alberta, CA)
• Eloi Torrents (Universitat Politècnica de Catalunya, CAT)
• Amos Turchet (Scuola Normale Superiore, IT)
• Daan van Gent (Universiteit Leiden, NL)
• Philip A. Vetter (Institute of Deep-sea Science and Engineering, CAS, Sanya Hainan, CN)
• David Wärn (University of Cambridge, UK)
• Eric Wieser (University of Cambridge, UK)
• Chris Wong
• Tony Yue Yu (Université Paris-Saclay at Orsay, FR)