Mathlib 10th Anniversary Conference

Wren Library, Cambridge

A celebration of the Mathlib community

Mathlib was created in Cambridge, UK on July 21, 2017 at 9:02am UTC+1 (local time). Since then the community around the library has grown immeasurably. To celebrate the tenth anniversary of its founding, we will return to the place of its birth for a celebratory conference.

This event will include a mix of plenary talks, focused sessions, and social events. It is an opportunity for newcomers to engage with the community, for established members to discuss and collaborate, and for all to speculate about the future roles of formalization within the discipline of mathematics. We welcome applications from participants with all levels of Lean expertise.

Coordinates

The event will take place July 19-21, 2027 at Robinson College, Cambridge, UK.

Mathlib maintainers, reviewers, and frequent contributors will be invited to stay July 22-23 for a focused retreat.

Venue

Robinson College offers plenary space, breakout rooms, and dining space, along with accommodation for many attendees. Other attendees will be offered accommodation in Churchill College. Accommodation will be arranged for all non-local attendees.

Plenary speakers

  • Mario Carneiro

  • Ravi Vakil

  • TBA!

Schedule

The main meeting will begin the morning of Monday, July 19 and end the afternoon of Wednesday, July 21. There will be a mix of plenary talks and smaller sessions organized around themes. For example, these themes may include (but are not limited to):

  • Developments in topic areas in Mathlib (analysis, geometry, ...)

  • Teaching with Lean and Mathlib

  • Diversity in the Mathlib community

  • Tactic development and metaprogramming

If you are interested in contributing a talk or organizing a session, please indicate so in your application.

The schedule outline below is preliminary and likely to change.

Session 1 Session 2
Monday
09:15 Welcome remarks
9:30 Plenary speaker 1
10:30 Coffee break
11:00 Plenary speaker 2
12:00 Lunch
1:30 Contributed session 1 Contributed session 2
3:00 Coffee break
3:30 Contributed session 3 Contributed session 4
5:30 Welcome reception
Tuesday
9:30 Plenary speaker 3
10:30 Coffee break
11:00 Plenary speaker 4
12:00 Lunch
1:30 Contributed session 5 Contributed session 6
3:00 Coffee break
3:30 Contributed session 7 Contributed session 8
7:00 Dinner
Wednesday
8:30 Breakfast and champagne
8:45 Anniversary toasts
10:00 Break
10:30 Contributed session 9 Contributed session 10
12:30 Lunch
2:00 Optional activities

Attending

If you are interested in attending, please submit our application form by January 19, 2027 at the latest. Earlier applications are encouraged.

Our application form asks whether you would like to give a talk in a contributed session. Your title and abstract are nonbinding, but we will form sessions around these contributed talks, so please give us a reasonable sense of your topic.

Funds are available to subsidize travel costs. If you would like to be considered for this assistance, please indicate so in your application.

Organization

Sponsors

  • Mathlib Initiative

  • XTX Markets

Credits

  • Header image photo of Wren Library by Cmglee - Own work, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=28889631