data David = Research | Activities | Events | Talks | Miscellaneous | Lean-LMFDB

This page was generated by Haskell on 26.05.26 with theme inspired by GHCi.

*David> print information

We are excited to announce a workshop to bridge the Lean theorem prover and the L-functions and modular forms database (LMFDB), which will be held from Monday, 29 June 2026 to Friday, 3 July 2026 at the University of East Anglia in Norwich, United Kingdom.

This workshop is the first in a series of two workshops for the Scalable Theorem Proving via Mathematical Databases project, funded by the AI for Math Fund managed by Renaissance Philanthropy in partnership with founding donor XTX Markets. The second workshop will be hosted at the Massachusetts Institute of Technology in Cambridge, Massachusetts, United States in early 2027, with more details available by June 2026.

This workshop will feature tutorials to navigate the number theory programming interface in Lean's mathematical library (number fields, elliptic curves, modular forms, etc), as well as a variety of research talks in relevant areas of number theory. There will be ample working time dedicated to collaborative projects, including formalisation of definitions in the LMFDB as well as projects proposed by participants.

*David> print schedule

The following is a tentative schedule, with a conference dinner on Thursday evening.

	Monday	Tuesday	Wednesday	Thursday	Friday
0900 -- 1000	Registration
	Alex Best	Kevin Buzzard	Alain Chavarri Villarello	Katerina Hristova	Andrew Yang
1000 -- 1100
	Coffee break
1100 -- 1200	David Roe	Junyan Xu	Richard Hill	Short talks	Xavier Roblot
1200 -- 1300	Catered lunch
1300 -- 1400	Riccardo Brasca	David Loeffler	Bhavik Mehta	Short talks	Presentations
1400 -- 1500	Coffee break		Free afternoon	Coffee break
	Project work			Project work
1500 -- 1600
1600 -- 1700	Coffee break			Coffee break
	Project work			Project work
1700 -- 1800

*David> print participants

The following are confirmed participants.
• Alain Chavarri Villarello (Vrije Universiteit Amsterdam)
• Alex Best (Harmonic)
• Ammara Ansari (Heinrich-Heine-Universität Düsseldorf)
• Andrew Sutherland (Massachusetts Institute of Technology)
• Andrew Yang (Imperial College London)
• Antau Yang (University of Glasgow)
• Arend Mellendijk (Rheinische Friedrich-Wilhelms-Universität Bonn)
• Artie Khovanov (University of Edinburgh)
• Ashleigh Ratcliffe (University of Leicester)
• Barinder Banwait (Lodha Mathematical Sciences Institute)
• Bhavik Mehta (Imperial College London)
• Bryan Hu (University of California, San Diego)
• Carter Hastings (Brigham Young University)
• Cheni Yuki Yang (Ruprecht-Karls-Universität Heidelberg)
• Chris Birkbeck (University of East Anglia)
• David Ang (University of East Anglia)
• David Ledvinka (Imperial College London)
• David Loeffler (FernUni Schweiz)
• David Roe (Massachusetts Institute of Technology)
• Drew Morris (Brigham Young University)
• Edison Xie (Imperial College London)
• Giovanna De Lauri (Lancaster University)
• Håvard Damm-Johnsen (Chalmers tekniska högskola)
• James Kiln (Queen Mary University of London)
• Jane Shi (Massachusetts Institute of Technology)
• Jiaqi Wang (Chinese Academy of Sciences, 中国科学院)
• John Cremona (University of Warwick)
• John Voight (University of Sydney)
• Junyan Xu (Ruprecht-Karls-Universität Heidelberg)
• Justus Springer (Imperial College London)
• Katerina Hristova (Imperial College London)
• Kevin Buzzard (Imperial College London)
• Michail Karatarakis (Radboud Universiteit)
• Nicola Falciola (Vrije Universiteit Amsterdam)
• Peiran Wu (Katholieke Universiteit Leuven)
• Pratyush Venkatakrishnan (Massachusetts Institute of Technology)
• Rajarshi Maiti (Rheinische Friedrich-Wilhelms-Universität Bonn)
• Ramin Takloo-Bighash (University of Illinois Chicago)
• Riccardo Brasca (Université Paris-Cité)
• Richard Hill (University College London)
• Salvatore Mercuri (Imperial College London)
• Samuel Yin (University of East Anglia)
• Sayeb Salam (University of East Anglia)
• Stephan Elsenhans (University of Sydney)
• Sumandeep Kaur (Shanghai University, 上海大学)
• Thomas Browning (Imperial College London)
• Tito Sacchi (Università degli Studi di Pavia)
• Vaishnav Nambiar (Heinrich-Heine-Universität Düsseldorf)
• Wenrong Zou (Rheinische Friedrich-Wilhelms-Universität Bonn)
• William Coram (University of East Anglia)
• Xavier Généreux (Ludwig-Maximilians-Universität München)
• Xavier Roblot (Lyon 1 Université)
• Xindi Yang (Chinese Academy of Sciences, 中国科学院)
• Yufei Qian (Université de Strasbourg)
• Yunfei Li (Chinese Academy of Sciences, 中国科学院)
• Zachary Feng (University of Oxford)