Mathlib Reviewer Bootcamp Sign-Up
Application form for the Mathlib Reviewer Bootcamp in Alfter, Germany, on 18th-22nd January 2027.
Applicant Information
Full Name
*
Email Address
*
example@example.com
Affiliation / Institution
*
Github username
*
Eligibility and Experience
Please provide a short summary of your experience with Lean/Mathlib and a few sentences about your motivation.
*
Research Interests and Motivation
Please list your mathematical areas of interest.
*
Logistics and Special Circumstances
Do you have any accommodation needs? There is a limited supply of single-occupancy rooms, so most attendees will share a room with one or two others.
Do you have any dietary restrictions?
Do you need travel funding? Accommodation will be provided by us.
If you need a visa to travel to Germany, do you need our assistance?
Submit application
Should be Empty: