Title | Event | Type | Date | |
---|---|---|---|---|
Stainless as a Verifying Compiler Viktor Kuncak EPFL - Ecole Polytechnique Fédérale de Lausanne |
VS2W01 | Seminar | 4 July 2022 – 11:15 to 12:15 | |
Daniel Kroening University of Oxford |
VS2W01 | Seminar | 4 July 2022 – 10:00 to 11:00 | |
Growth in groups and CFSG-free proofs Laszlo Pyber Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences |
GRA2 | Seminar | 30 June 2022 – 16:00 to 17:00 | |
Olivier Fouquet Université de Franche-Comté |
KAH2 | Seminar | 29 June 2022 – 16:00 to 17:00 | |
Localization theorem for algebraic stacks Charanya Ravi Universität Regensburg |
KAH2 | Seminar | 28 June 2022 – 16:00 to 17:00 | |
Monodromy groups of rational functions Michael Zieve University of Michigan |
GRA2 | Seminar | 28 June 2022 – 11:15 to 12:15 | |
Motivic invariants of birational maps Evgeny Shinder University of Sheffield |
KAH2 | Seminar | 27 June 2022 – 16:00 to 17:00 | |
Special values of Zeta-functions of regular schemes projective over the integers Stephen Lichtenbaum Brown University |
KA2W02 | Seminar | 24 June 2022 – 15:00 to 16:00 | |
Applications of arithmetic holonomicity theorems Yunqing Tang Université Paris Saclay; CNRS (Centre national de la recherche scientifique) |
KA2W02 | Seminar | 24 June 2022 – 13:30 to 14:30 | |
Multiplicative properties of higher regulators via current transforms Paulo Lima-Filho Texas A&M University |
KA2W02 | Seminar | 24 June 2022 – 11:15 to 12:15 | |
Tame class field theory over local fields Amalendu Krishna Indian Institute of Science |
KA2W02 | Seminar | 24 June 2022 – 09:45 to 10:45 | |
Fusion system, p-completed classifying spaces, loops, (co)singularity categories David Benson University of Aberdeen |
GRA2 | Seminar | 23 June 2022 – 16:00 to 17:00 | |
Extended Period Mapping - Clay Lecturer Phillip Griffiths Institute for Advanced Study, Princeton; University of Miami |
KA2W02 | Seminar | 23 June 2022 – 15:00 to 16:00 | |
Gregory Pearlstein Texas A&M University; Università di Pisa |
KA2W02 | Seminar | 23 June 2022 – 13:30 to 14:30 | |
TGM124 | Seminar | 23 June 2022 – 12:30 to 13:00 | ||
Talk 15 The SPI-M/SAGE Route into Policy: Reflections and Future Planning Louise Dyson University of Warwick |
TGM124 | Seminar | 23 June 2022 – 12:05 to 12:30 | |
Talk 14 The Post Pandemic City: Exploring Urban Resilience Michael Batty University College London |
TGM124 | Seminar | 23 June 2022 – 11:40 to 12:05 | |
Regulators in function fields arithmetic Quentin Gazda Max Planck Institute for Mathematics |
KA2W02 | Seminar | 23 June 2022 – 11:35 to 12:15 | |
Zagier's polylogarithm conjecture on $\zeta_F(4)$ and an explicit 4-ratio Steven Charlton Universität Hamburg |
KA2W02 | Seminar | 23 June 2022 – 10:55 to 11:35 | |
Talk 13 In-host Modelling, What’s Done at Epi Scale, Genomics and What’s Happening in Immunology Tom Finnie UK Health Security Agency |
TGM124 | Seminar | 23 June 2022 – 10:55 to 11:20 |