BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:María Inés de Frutos-Fernández (Imperial College London)
DTSTART:20220113T160000Z
DTEND:20220113T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/1
DESCRIPTION:Title: Adeles and ideles\nby María Inés de Frutos-Fernán
dez (Imperial College London) as part of London Learning Lean\n\nLecture h
eld in Huxley 410.\n\nAbstract\nThe ring of adèles of a global field and
its group of units\, the idèles\, are fundamental objects in modern numbe
r theory. We will discuss a formalization of their definitions\, starting
with some background on Dedekind domains and valuations\, and of some appl
ications\, including the statement of the main theorem of global class fie
ld theory.\n\nThis seminar will be hybrid\; you can watch in person or on
Zoom.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Chris Birkbeck (University College London)
DTSTART:20220120T160000Z
DTEND:20220120T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/2
DESCRIPTION:Title: Modular forms and Eisenstein series\nby Chris Birkb
eck (University College London) as part of London Learning Lean\n\n\nAbstr
act\nI’ll discuss some recent work on defining modular forms and Eisenst
ein series in LEAN. Modular forms are some of the most important objects i
n number theory due in part to their role in the proof of Fermat’s Last
Theorem. These special functions act as glue between algebra\, geometry a
nd analysis\, it is therefore tempting to begin formalizing them. Moreover
one wants to formalise interesting examples\, such as Eisenstein series.
In the talk I will discuss the mathematics behind there definitions and hi
ghlight the main challenges in formalising them.\n\nThis talk will be a Zo
om talk. I (Kevin Buzzard) am not in London this week so I will not be run
ning the show in the usual room\, and do not know if anyone will be there
to run it because I was too disorganised to sort anything out before I lef
t London. See you on Zoom!\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Amelia Livingston (London School of Geometry and Number Theory)
DTSTART:20220127T160000Z
DTEND:20220127T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/3
DESCRIPTION:Title: Group cohomology\nby Amelia Livingston (London Schoo
l of Geometry and Number Theory) as part of London Learning Lean\n\n\nAbst
ract\nWe can study a group $G$ by applying homological algebra to modules
$M$ over the group ring $\\mathbb{Z}[G]$\, via calculating the groups $\\m
athrm{Ext}_{\\mathbb{Z}[G]}^n(\\mathbb{Z}\, M)$. However\, these groups ar
e blessed with a nice concrete description in terms of the set of function
s $G^n \\to M$. I've been using mathlib's relatively new homological algeb
ra library to marry the concrete description to the more abstract formulat
ion given by Ext. I will talk about the quirks of homological algebra in L
ean\, the challenges I faced\, and plans to extend this work to Galois coh
omology.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alena Gusakov (University of Waterloo)
DTSTART:20220303T160000Z
DTEND:20220303T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/4
DESCRIPTION:Title: Introduction to matroids\nby Alena Gusakov (Universi
ty of Waterloo) as part of London Learning Lean\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ashvni Narayanan (Imperial College London)
DTSTART:20220310T160000Z
DTEND:20220310T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/5
DESCRIPTION:Title: p-adic L-functions\nby Ashvni Narayanan (Imperial Co
llege London) as part of London Learning Lean\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Oliver Nash (Imperial College London)
DTSTART:20220317T160000Z
DTEND:20220317T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/6
DESCRIPTION:Title: Engel's theorem in Mathlib\nby Oliver Nash (Imperial
College London) as part of London Learning Lean\n\n\nAbstract\nI will dis
cuss the formalisation of Engel's theorem for nilpotent Lie algebras in Le
an's Mathlib library.\n\nI will emphasise how Mathlib's strategy of making
very general definitions enabled us to prove a stronger version of the tr
aditional result. In this case\, the relevant generalisation was to define
the concept of nilpotency not just for Lie algebras but for Lie modules a
lso.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Heather Macbeth (Fordham University)
DTSTART:20220324T160000Z
DTEND:20220324T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/7
DESCRIPTION:Title: Fourier series\nby Heather Macbeth (Fordham Universi
ty) as part of London Learning Lean\n\n\nAbstract\nFourier series are not
new to formalization\; various results were proved by Harrison in HOL Ligh
t ten years ago\, and there are developments in Isabelle and Metamath too.
But the Hilbert space theory and measure theory in Lean's library mathli
b allows for a very efficient presentation. I will give a tour of some of
this theory\, touching on topological groups\, the Stone-Weierstrass theo
rem\, the denseness of continuous functions in Lp\, and a TFAE for Hilbert
bases.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Kenny Lau (University of Cambridge)
DTSTART:20220203T160000Z
DTEND:20220203T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/8
DESCRIPTION:Title: Tilting Perfectoid Fields\nby Kenny Lau (University
of Cambridge) as part of London Learning Lean\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Nicolò Cavalleri (London School of Geometry and Number Theory)
DTSTART:20220210T160000Z
DTEND:20220210T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/9
DESCRIPTION:Title: Topological vector bundles\nby Nicolò Cavalleri (Lo
ndon School of Geometry and Number Theory) as part of London Learning Lean
\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Kexing Ying (Imperial College London)
DTSTART:20220217T160000Z
DTEND:20220217T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/10
DESCRIPTION:Title: Probability theory and martingales\nby Kexing Ying
(Imperial College London) as part of London Learning Lean\n\n\nAbstract\nM
artingales are stochastic processes in which the conditional expectation o
f the \nprocess in the next time step equals the current value. In this se
minar I will \nprovide a brief overview all the definitions required to de
fine and work with \nmartingales\, and report on the recent development an
d challenges with \nformalising martingales in Lean.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Bhavik Mehta (University of Cambridge)
DTSTART:20220224T160000Z
DTEND:20220224T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/11
DESCRIPTION:Title: The Erdős-Szemerédi conjecture and working with finit
eness\nby Bhavik Mehta (University of Cambridge) as part of London Lea
rning Lean\n\n\nAbstract\nApproximate groups are a very recent field of st
udy in arithmetic combinatorics\, studying finite subsets of a fixed group
which are 'almost' closed under multiplication. One of the earliest conje
ctures in this area by Erdős and Szemerédi asks whether there is a finit
e subset of reals which is both an approximate additive group\, and an app
roximate multiplicative group: essentially an approximate ring. While the
problem remains open I discuss progress towards it\, and describe the form
alisation of a 2005 result of Solymosi which gives a partial answer.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jujian Zhang (Imperial College London)
DTSTART:20220505T150000Z
DTEND:20220505T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/12
DESCRIPTION:Title: Proj\nby Jujian Zhang (Imperial College London) as
part of London Learning Lean\n\nLecture held in Huxley 410\, Department of
mathematics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Violeta Hernández Palacios (University of Guanajuato)
DTSTART:20220512T150000Z
DTEND:20220512T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/13
DESCRIPTION:Title: Ordinals\nby Violeta Hernández Palacios (Universit
y of Guanajuato) as part of London Learning Lean\n\nLecture held in Huxley
410\, Department of mathematics\, Imperial College London.\n\nAbstract\nI
n undergraduate school\, ordinals are most often dealt with as part of a l
arger set theory course. Many of their basic notions\, up to their definit
ion\, are given in set-theoretic terms. Given Lean's type theoretic founda
tions\, a new approach is needed to deal with them.\n\nIn this talk\, we d
iscuss and contrast the von Neumann definition of ordinals with that curre
ntly employed in mathlib. By doing so\, we gain insight into basic notions
of Lean itself\, such as quotients and universes.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pierre-Alexandre Bazin (ENS Ulm)
DTSTART:20220519T150000Z
DTEND:20220519T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/14
DESCRIPTION:Title: Classification of finitely-generated modules over a PID
\nby Pierre-Alexandre Bazin (ENS Ulm) as part of London Learning Lean\
n\nLecture held in Huxley 410\, Department of mathematics\, Imperial Colle
ge London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Angdinata (London School of Geometry and Number Theory)
DTSTART:20220526T150000Z
DTEND:20220526T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/15
DESCRIPTION:Title: Elliptic curves and the Mordell-Weil theorem\nby Da
vid Angdinata (London School of Geometry and Number Theory) as part of Lon
don Learning Lean\n\nLecture held in Huxley 410\, Department of mathematic
s\, Imperial College London.\n\nAbstract\nFrom being fundamental objects i
n number theory and geometry to seeing new applications in modern cryptosy
stems and factorisation algorithms\, elliptic curves play a huge role in a
nd out of mathematics. I will briefly introduce the theory of elliptic cur
ves in the context of algebraic geometry\, explain the inherent subtlety i
n proving even the most basic results\, and outline the current status of
formalisation in Lean's mathlib. I will also describe my ongoing attempt t
o prove a fundamental result in the number theory of elliptic curves - the
Mordell-Weil theorem - that the group of rational points of an elliptic c
urve over a number field is finitely generated.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:No seminar (UK holiday)
DTSTART:20220602T150000Z
DTEND:20220602T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/16
DESCRIPTION:Title: No seminar (UK holiday)\nby No seminar (UK holiday)
as part of London Learning Lean\n\nLecture held in Huxley 410\, Departmen
t of mathematics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sebastian Monnet (London School of Geometry and Number Theory)
DTSTART:20220609T150000Z
DTEND:20220609T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/17
DESCRIPTION:Title: The Krull Topology\nby Sebastian Monnet (London Sch
ool of Geometry and Number Theory) as part of London Learning Lean\n\nLect
ure held in Huxley 410\, Department of mathematics\, Imperial College Lond
on.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:María Inés de Frutos Fernández (Imperial College London)
DTSTART:20220616T150000Z
DTEND:20220616T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/18
DESCRIPTION:Title: Extensions of norms and Fontaine’s period rings\n
by María Inés de Frutos Fernández (Imperial College London) as part of
London Learning Lean\n\nLecture held in Huxley 410\, Department of mathema
tics\, Imperial College London.\n\nAbstract\nLet $K$ be a field complete w
ith respect to a nonarchimedean real-valued norm\, and let $L/K$ be an alg
ebraic extension. We show that there is a unique norm on $L$ extending the
given norm on $K$\, of which we give an explicit description. As an appli
cation\, we extend the $p$-adic norm on $\\mathbb{Q}_p$ to $\\mathbb{Q}_p^
{\\text{alg}}$ and define its completion $\\mathbb{C}_p$. Building on the
definition of $\\mathbb{C}_p$\, we formalize the definitions of the Fontai
ne's period rings $B_{\\text{dR}}$ and $B_{\\text{HT}}$.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Yael Dillies (University of Cambridge)
DTSTART:20220623T150000Z
DTEND:20220623T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/19
DESCRIPTION:Title: Behrend's construction and additive combinatorics\n
by Yael Dillies (University of Cambridge) as part of London Learning Lean\
n\nLecture held in Huxley 410\, Department of mathematics\, Imperial Colle
ge London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Wrenna Robson (Royal Holloway)
DTSTART:20220630T150000Z
DTEND:20220630T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/20
DESCRIPTION:Title: Post-Quantum Cryptography\nby Wrenna Robson (Royal
Holloway) as part of London Learning Lean\n\nLecture held in Huxley 410\,
Department of mathematics\, Imperial College London.\n\nAbstract\nA discus
sion of the post-quantum cryptography zoo\, and some thoughts on how hard
it might be to formalise the relevant mathematics into Lean.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/20/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Billy Miao (Imperial College London)
DTSTART:20230112T160000Z
DTEND:20230112T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/21
DESCRIPTION:Title: Ostrowski's theorem\nby Billy Miao (Imperial Colleg
e London) as part of London Learning Lean\n\nLecture held in Huxley 410\,
Department of mathematics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ashvni Narayanan (LSGNT/Imperial College London)
DTSTART:20230119T160000Z
DTEND:20230119T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/22
DESCRIPTION:by Ashvni Narayanan (LSGNT/Imperial College London) as part of
London Learning Lean\n\nLecture held in Huxley 410\, Department of mathem
atics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Oliver Nash (Imperial College London)
DTSTART:20230126T160000Z
DTEND:20230126T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/23
DESCRIPTION:Title: Ergodicity and Gallagher's theorem\nby Oliver Nash
(Imperial College London) as part of London Learning Lean\n\nLecture held
in Huxley 410\, Department of mathematics\, Imperial College London.\nAbst
ract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alex Best (Vrije Universiteit Amsterdam)
DTSTART:20230202T160000Z
DTEND:20230202T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/24
DESCRIPTION:Title: Solving Diophantine equations via the class group\n
by Alex Best (Vrije Universiteit Amsterdam) as part of London Learning Lea
n\n\nLecture held in Huxley 410\, Department of mathematics\, Imperial Col
lege London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/24/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Anand Rao Tadipatri + Siddhartha Gadgil (IISc)
DTSTART:20230209T160000Z
DTEND:20230209T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/25
DESCRIPTION:Title: Formalising Giles Gardam's disproof of Kaplansky's Unit
Conjecture\nby Anand Rao Tadipatri + Siddhartha Gadgil (IISc) as part
of London Learning Lean\n\nLecture held in Huxley 410\, Department of mat
hematics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/25/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ella Yu + Xiang Li (Imperial College London / University of Cambri
dge)
DTSTART:20230216T160000Z
DTEND:20230216T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/26
DESCRIPTION:Title: Euler's Totient Theorem and the Prime Number Theorem\nby Ella Yu + Xiang Li (Imperial College London / University of Cambridg
e) as part of London Learning Lean\n\nLecture held in Huxley 410\, Departm
ent of mathematics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/26/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jineon Baek (University of Michigan)
DTSTART:20230223T160000Z
DTEND:20230223T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/27
DESCRIPTION:Title: On the Erdős-Tuza-Valtr Conjecture\nby Jineon Baek
(University of Michigan) as part of London Learning Lean\n\nLecture held
in Huxley 410\, Department of mathematics\, Imperial College London.\n\nAb
stract\nThe Erdős-Szekeres conjecture states that any set of more than $2
^{n-2}$ points in the plane with no three on a line contains the vertices
of a convex n-gon. Later\, Erdős\, Tuza and Valtr strengthened the conjec
ture by stating that any set of more than $\\sum_{i = n + 2 - b}^{a} \\bin
om{n - 2}{i - 2}$ points in a plane either contains the vertices of a conv
ex n-gon\, a points lying on an upwardly convex curve\, or b points lying
on a downwardly convex curve. They also showed that the generalization is
actually equivalent to the Erdős-Szekeres conjecture. \nWe prove the firs
t new case $a = 4\, b = n$ of the Erdős-Tuza-Valtr conjecture since the o
riginal 1935 paper of Erdős and Szekeres. Namely\, we show that any set o
f $(n-1)(n-2)/2 + 2$ points in the plane with no three points on a line an
d no two points sharing the same x-coordinate either contains a 4-cap or t
he vertices of a convex n-gon. The proof is fully formalized in Lean 3\, a
nd we will discuss its implementation: structure and API choices\, unexpec
ted problems arised in formalization\, etc.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/27/
END:VEVENT
BEGIN:VEVENT
SUMMARY:cancelled (LSGNT/Kings College London)
DTSTART:20230302T160000Z
DTEND:20230302T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/28
DESCRIPTION:Title: (speaker illness)\nby cancelled (LSGNT/Kings Colleg
e London) as part of London Learning Lean\n\nLecture held in Huxley 410\,
Department of mathematics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/28/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jujian Zhang (LSGNT/Imperial College)
DTSTART:20230309T160000Z
DTEND:20230309T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/29
DESCRIPTION:Title: Flat modules\nby Jujian Zhang (LSGNT/Imperial Colle
ge) as part of London Learning Lean\n\nLecture held in Huxley 410\, Depart
ment of mathematics\, Imperial College London.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/29/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Joy Hu/Runchang Li (Imperial College London)
DTSTART:20230316T160000Z
DTEND:20230316T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/30
DESCRIPTION:Title: Some Basics of Gaussian Measure in Lean\nby Joy Hu/
Runchang Li (Imperial College London) as part of London Learning Lean\n\nL
ecture held in Huxley 410\, Department of mathematics\, Imperial College L
ondon.\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/30/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Matej Penciak (Yatima/Lurk Lab)
DTSTART:20230323T160000Z
DTEND:20230323T170000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/31
DESCRIPTION:Title: Implementing Cryptographic Primitives in Lean 4\nby
Matej Penciak (Yatima/Lurk Lab) as part of London Learning Lean\n\n\nAbst
ract\nAbstract: In this talk I will describe the experience of using Lean
4 as a fully-fledged programming language to implement various number theo
retic primitives used in cryptography. In particular\, we will go through
the examples of efficient implementations of finite field arithmetic\, fas
t elliptic curve group operations\, and some commonly used cryptographic h
ash functions. Along the way I plan on reflecting on the lessons learned i
n building structurally and mathematically complex libraries in Lean 4. I
will also cover some future directions and long-term visions of Lean 4's p
lace in modern cryptography.\n\nNote: this talk will be *online only*\; th
ere is no room booked for this week.\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/31/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Amelia Livingston (London School of Geometry and Number Theory)
DTSTART:20230504T150000Z
DTEND:20230504T160000Z
DTSTAMP:20260404T094121Z
UID:LondonLearningLean/32
DESCRIPTION:Title: Tori\nby Amelia Livingston (London School of Geomet
ry and Number Theory) as part of London Learning Lean\n\nLecture held in H
uxley 410\, Department of mathematics\, Imperial College London.\nAbstract
: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LondonLearningLean/32/
END:VEVENT
END:VCALENDAR