## 2020

### Intercity Number Theory Seminar

7 February, Leiden. Location: Snellius building, morning room 401, afternoon room 412.- 11:15–12:15
- Adelina Mânzăţeanu UL, Rational curves on cubic hypersurfaces over 𝔽
_{q}In December 2020, Peter Scholze posed a challenge to formally verify the main theorem on liquid ℝ-vector spaces, which is part of his joint work with Dustin Clausen on condensed mathematics. I took up this challenge with a team of mathematicians to verify the theorem in the Lean proof assistant. Half a year later, we reached a major milestone, and our expectation is that shortly we will have completed the full challenge. In this talk I will give a brief motivation for condensed/liquid mathematics, a demonstration of the Lean proof assistant, and discuss our experiences formalizing state-of-the-art research in mathematics. - 13:30–14:30
- Adam Morgan MPIM Bonn, Parity of Selmer ranks in quadratic twist families
In December 2020, Peter Scholze posed a challenge to formally verify the main theorem on liquid ℝ-vector spaces, which is part of his joint work with Dustin Clausen on condensed mathematics. I took up this challenge with a team of mathematicians to verify the theorem in the Lean proof assistant. Half a year later, we reached a major milestone, and our expectation is that shortly we will have completed the full challenge. In this talk I will give a brief motivation for condensed/liquid mathematics, a demonstration of the Lean proof assistant, and discuss our experiences formalizing state-of-the-art research in mathematics.
- 14:45–15:45
- Rosa Winter UL, Density of rational points on a family of del Pezzo surfaces of degree 1
In December 2020, Peter Scholze posed a challenge to formally verify the main theorem on liquid ℝ-vector spaces, which is part of his joint work with Dustin Clausen on condensed mathematics. I took up this challenge with a team of mathematicians to verify the theorem in the Lean proof assistant. Half a year later, we reached a major milestone, and our expectation is that shortly we will have completed the full challenge. In this talk I will give a brief motivation for condensed/liquid mathematics, a demonstration of the Lean proof assistant, and discuss our experiences formalizing state-of-the-art research in mathematics.
- 16:00–17:00
- Peter Koymans MPIM Bonn, On Chowla’s conjecture over function fields

### Intercity Number Theory Seminar

20 March, Utrecht. Cancelled- 11:00–12:00
- Jessica Fintzen Michigan / Cambridge, Representations of
*p*-adic groups - 13:30–14:30
- Per Salberger Chalmers, Equal sums of three
*k*th powers - 14:45–15:45
- Sean Prendiville Lancaster, Counting monochromatic solutions to diagonal Diophantine equations
- 16:00–17:00
- Quoc P. Ho IST Austria, Homological densities and stability of generalized configuration spaces