Past events
-
SQUIDS Seminar (ProbAI-sponsored): Adaptive friction and nonlinear damping for model training
13:00 - 14:00 29 October 2025
Speaker: Katerina Karoni (Bristol) Abstract: We discuss novel damping procedures for training large scale Bayesian data models, such as deep neural networks. Drawing inspiration from the concept of a thermostat (widely used for temperature regulation in molecular dynamics), we introduce kinetic energy...
Read more
-
Logic Seminar - Anna Dmitrieva
15:00 - 16:00 29 October 2025
Speaker: Anna Dmitrieva (University of Manchester) Quasiminimality and generic functions One of the well-known accomplishments of model theory is the study of the field of complex numbers, axiomatized by the theory of algebraically closed fields of characteristic zero. It possesses numerous nice properties,...
Read more
-
Heilbronn Algebra Seminar - Tim Burness
14:00 - 15:00 28 October 2025
Title: Simple groups, nilpotent subgroups and their intersections Abstract: Let G be a finite group, let p be a prime and let H be a Sylow p-subgroup. Problems concerning the intersections of Sylow subgroups have been studied for many decades. For example, a theorem of Ito from 1958 shows that if...
Read more
-
Dynamical Systems and Analysis Seminar - Jonathan Fraser
14:00 - 15:00 27 October 2025
Speaker: Jonathan Fraser (University of St Andrews) Title: Dimensions of orbital sets in complex dynamics Abstract: Let E be a non-empty compact subset of the Riemann sphere and T be a rational map of degree at least two. The associated orbital set is defined to be the backwards orbit of E under T....
Read more
-
Logic Seminar - Thorsten Altenkirch
14:00 - 15:00 22 October 2025
Speaker: Thorsten Altenkirch (University of Nottingham) How to Define Type Theories? Traditionally, type theories have been defined extrinsically—by sorting untyped terms. In this talk, I will present the intrinsic approach, where we never introduce untyped objects. This can be implemented using...
Read more