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

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

*David> print events

I attend many conferences, workshops, meetings, and schools in my career.

Here are the events I have organised.
• Bridging Lean and the LMFDB held in Norwich from Monday, 29 June 2026 to Friday, 3 July 2026
  Workshop organised by Chris Birkbeck and myself
• International Congress on Mathematical Software: Novel Formalisations of Mathematics in Lean held in Durham from Monday, 22 July 2024 to Thursday, 25 July 2024
  Conference session organised by Fangming Li, Amelia Livingston, Jujian Zhang, and myself

Here are the conferences I have attended.
• Algebraic and Geometric Methods for Diophantine Problems held in Pisa from Tuesday, 9 September 2025 to Friday, 12 September 2025
• Young Researchers in Algebraic Number Theory held in Nottingham from Wednesday, 3 September 2025 to Friday, 5 September 2025
• Rational Points 2025 held in Schney from Sunday, 27 July 2025 to Saturday, 2 August 2025
• LMFDB, Computation, and Number Theory held in Providence, RI (Online) from Monday, 7 July 2025 to Friday, 11 July 2025
• British Mathematical Colloquium held in Exeter from Monday, 23 June 2025 to Thursday, 26 June 2025
• Diophantine and Rationality Problems held in Sofia from Monday, 10 March 2025 to Friday, 14 March 2025
• The Third Journal of Number Theory Biennial Conference held in Cetraro from Wednesday, 21 August 2024 to Sunday, 25 August 2024
• Young Researchers in Algebraic Number Theory held in Oxford from Wednesday, 31 July 2024 to Friday, 2 August 2024
• 75th British Mathematical Colloquium held in Manchester from Monday, 17 June 2024 to Thursday, 20 June 2024
• Modular Curves and their Arithmetic held in Coventry from Wednesday, 6 December 2023 to Friday, 8 December 2023
• Young Researchers in Algebraic Number Theory held in Cambridge from Wednesday, 6 September 2023 to Friday, 8 September 2023
• 14th International Conference on Interactive Theorem Proving held in Białystok from Monday, 31 July 2023 to Friday, 4 August 2023
• Arithmetic Statistics held in Marseille from Monday, 15 May 2023 to Friday, 19 May 2023
• Arithmetic, Algebra, and Algorithms held in Edinburgh (Online) from Monday, 10 April 2023 to Friday, 14 April 2023
• Symposium on Arithmetic Geometry and its Applications held in Marseille from Monday, 6 February 2023 to Friday, 10 February 2023
• Young Researchers in Algebraic Number Theory held in Glasgow from Tuesday, 23 August 2022 to Thursday, 25 August 2022
• Mordell 2022 held in Cambridge from Monday, 15 August 2022 to Friday, 19 August 2022
• 73rd British Mathematical Colloquium held in London from Monday, 6 June 2022 to Thursday, 9 June 2022

Here are the workshops I have attended.
• Lean 形式化数学学习强化和实践交流研讨会 held in Beijing from Monday, 26 January 2026 to Tuesday, 27 January 2026
• Lean Workshop 2025: Formalising Algebraic Geometry held in Heidelberg from Wednesday, 19 November 2025 to Friday, 21 November 2025
• Magma Meeting: Rational Points 2025 held in Würzburg from Friday, 25 July 2025 to Saturday, 26 July 2025
• Formalizing Class Field Theory held in Oxford from Monday, 21 July 2025 to Friday, 25 July 2025
• LMFDB Workshop held in Cambridge, MA (Online) from Monday, 14 July 2025 to Friday, 18 July 2025
• Workshop on p-adic Geometry held in Singapore from Monday, 18 November 2024 to Friday, 22 November 2024
• Arithmetic Geometry of K3 Surfaces and Related Areas held in London from Thursday, 3 October 2024 to Friday, 4 October 2024
• Algebraic Number Theory held in Munich from Monday, 2 September 2024 to Friday, 6 September 2024
• Formalising Algebraic Geometry held in Pasadena (Online) from Monday, 24 June 2024 to Friday, 28 June 2024
• Lean for the Curious Mathematician 2024 held in Marseille from Monday, 25 March 2024 to Friday, 29 March 2024
• Algebra and Number Theory In Conversation held in Manchester from Monday, 11 September 2023 to Friday, 15 September 2023
• Early Number Theory Researchers Workshop 2023 held in Bielefeld from Wednesday, 23 August 2023 to Friday, 25 August 2023
• Masterclass: Formalisation of Mathematics held in Copenhagen from Monday, 26 June 2023 to Friday, 30 June 2023
• Formalization of Cohomology Theories held in Banff (Online) from Monday, 22 May 2023 to Friday, 26 May 2023
• Mathematical Theorem Proving Workshop (Huawei Technologies R&D UK Ltd) held in Cambridge on Monday, 25 April 2022

Here are the meetings I have attended.
• Spring of Rational Points II held in Bath on Tuesday, 13 May 2025
• Elliptic Curves in the Cotswolds held in Stonehouse from Monday, 3 March 2025 to Tuesday, 4 March 2025
• Lean Together 2025 held in Zoom (Online) from Tuesday, 14 January 2025 to Friday, 17 January 2025
• London–Paris Number Theory Seminar held in London from Thursday, 13 June 2024 to Friday, 14 June 2024
• A Wee Day of Rational Points held in Glasgow on Wednesday, 29 May 2024
• The Spring of Rational Points held in Bath on Tuesday, 7 May 2024
• Lean Together 2024 held in Zoom (Online) from Tuesday, 9 January 2024 to Friday, 12 January 2024
• London–Paris Number Theory Seminar held in London from Monday, 12 June 2023 to Wednesday, 14 June 2023
• The Advent of Rational Points held in London on Monday, 12 December 2022

Here are the schools I have attended.
• Hausdorff School: Formal Mathematics and Computer-Assisted Proving held in Bonn from Monday, 18 September 2023 to Friday, 22 September 2023
• Rational Points on Modular Curves held in Bengaluru (Online) from Monday, 11 September 2023 to Friday, 22 September 2023
• Spring School in Arithmetic Statistics held in Marseille from Monday, 8 May 2023 to Friday, 12 May 2023
• Introduction to Symposium on Arithmetic Geometry and its Applications held in Marseille from Monday, 30 January 2023 to Friday, 3 February 2023
• Elliptic Curves 2022 held in Hay-On-Wye from Monday, 8 August 2022 to Friday, 12 August 2022