data
David
=
Projects
|
Talks
|
Conferences
|
Teaching
|
Notes
Conferences
GHCi,
version 11.11.24:
https://www.haskell.org
:? for
help
*David> print conference >> mapM_ print conferences
Here are some conferences I have attended in the past.
Workshop on p-adic Geometry
in Singapore from 18 November 2024 to 22 November 2024
Arithmetic Geometry of K3 Surfaces and Related Areas
in London from 3 October 2024 to 4 October 2024
Algebraic Number Theory
in Munich from 2 September 2024 to 6 September 2024
The Third Journal of Number Theory Biennial Conference
in Cetraro from 21 August 2024 to 25 August 2024
Young Researchers in Algebraic Number Theory
in Oxford from 31 July 2024 to 2 August 2024
International Congress on Mathematical Software (co-organiser)
in Durham from 22 July 2024 to 25 July 2024
Formalising Algebraic Geometry
in Pasadena (Online) from 24 June 2024 to 28 June 2024
75th British Mathematical Colloquium
in Manchester from 17 June 2024 to 20 June 2024
London-Paris Number Theory Seminar
in London from 13 June 2024 to 14 June 2024
Lean for the Curious Mathematician 2024
in Marseille from 25 March 2024 to 29 March 2024
Lean Together 2024
in Zoom (Online) from 9 January 2024 to 12 January 2024
Modular Curves and their Arithmetic
in Coventry from 6 December 2023 to 8 December 2023
Hausdorff School: Formal Mathematics and Computer-Assisted Proving
in Bonn from 18 September 2023 to 22 September 2023
Algebra and Number Theory In Conversation
in Manchester from 11 September 2023 to 15 September 2023
Rational Points on Modular Curves
in Bengaluru (Online) from 11 September 2023 to 22 September 2023
Young Researchers in Algebraic Number Theory
in Cambridge from 6 September 2023 to 8 September 2023
Early Number Theory Researchers Workshop 2023
in Bielefeld from 23 August 2023 to 25 August 2023
14th International Conference on Interactive Theorem Proving
in Białystok from 31 July 2023 to 4 August 2023
Masterclass: Formalisation of Mathematics
in Copenhagen from 26 June 2023 to 30 June 2023
London-Paris Number Theory Seminar
in London from 12 June 2023 to 14 June 2023
Formalization of Cohomology Theories
in Banff (Online) from 22 May 2023 to 26 May 2023
Arithmetic Statistics
in Marseille from 8 May 2023 to 19 May 2023
Arithmetic, Algebra, and Algorithms
in Edinburgh (Online) from 10 April 2023 to 14 April 2023
Symposium on Arithmetic Geometry and its Applications
in Marseille from 30 January 2023 to 10 February 2023
Young Researchers in Algebraic Number Theory
in Glasgow from 23 August 2022 to 25 August 2022
Mordell 2022
in Cambridge from 15 August 2022 to 19 August 2022
Elliptic Curves 2022
in Clyro from 8 August 2022 to 12 August 2022
73rd British Mathematical Colloquium
in London from 6 June 2022 to 9 June 2022