An introduction to theorem provers
-
Eloi Torrents (Universitat Autònoma de Barcelona)
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Talk archive
p-adic modular forms: why do we care?
-
Guillem García Tarrach (University of Cambridge)
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Spectral data of Higgs bundles
-
Raffaele Carbone
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Entering the tower with Iwasawa theory
-
Marta Sánchez Pavón (Universidad de Sevilla)
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Coeficients de Fourier al $p$-èsim intèrval de Ramanujan-Petersson
-
Eduard Soto Ballesteros (Universitat de Barcelona)
-
12:20 (virtual coffee break at 12:00)
-
Talk in catalan
-
Zoom
On measures, projections, and measures of projections
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
How far is an extension of $p$-adic fields from having a normal integral basis?
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Identities in prime rings
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Persistent homology and barcode distance
-
Marco Praderio Bova (Lancaster University)
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Time-dependent branching processes: a model of oscillating neuronal avalanches
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Strand diagrams and generalised braided Thompson's groups
-
12:20 (virtual coffee break at 12:00)
-
Talk in spanish
-
Zoom
Relationship between victorian eugenecists and slot machine free-game - Branching Processes
-
Àngel Joaniquet Tukiainen (Zitro)
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Geometric analysis under integral curvature conditions
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
A walk through the Birch and Swinnerton-Dyer conjecture
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
Decoupling and applications: from PDEs to Number Theory
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom
The circle method and Linnik--Goldbach problems
-
Shehzad Hathi (UNSW Canberra at ADFA)
-
12:20 (virtual coffee break at 12:00)
-
Talk in english
-
Zoom