Past events
-
Logic Seminar - Jesse Sigal
15:00 - 16:00 18 March 2026
Speaker: Jesse Sigal (University of Edinburgh) Title: How not to choose in the semantics of dependent types Abstract: Many constructions in the semantics of logics and programming languages involve universal properties. These universal constructions allow us not to care about the choice of "implementation",...
Read more
-
Heilbronn Algebra Seminar - Colton Sandvik
14:00 - 15:00 17 March 2026
TBA
Read more
-
Manchester Number Theory Seminar - Lilybelle Cowland Kellock
15:00 - 16:00 17 March 2026
Speaker: Lilybelle Cowland Kellock (Manchester) Title: Reduction types of genus 2 curves Abstract: Reduction types are used to recover lots of important arithmetic information attached to curves over local fields, for example Tamagawa numbers which show up in the Birch and Swinnerton-Dyer conjecture...
Read more
-
Dynamical Systems and Analysis Seminar - Sophie Wright
16 March - 29 September 2026
Speaker: Sophie Wright (University of Bristol) Title: Random covers of hyperbolic surfaces Abstract: Given a closed hyperbolic surface, we study random infinite-sheeted covers whose fundamental group is isomorphic to the free group F_k. I will show that, asymptotically, these covers distribute according...
Read more
-
Maths education seminar: Richard Crossman on Mathematical Decolonisation
14:00 - 15:00 16 March 2026
Speaker: Richard Crossman (University of Durham) Title: Bring Down The Barricades! Clearing A Path For Mathematical Decolonisation Abstract: The process of decolonising higher education is international, cross-institutional, and multidisciplinary. This makes a one-size-fits-all approach inappropriate;...
Read more