THE EXPRESSIVENESS AND COMPLEXITY LANDSCAPE FOR 2 EVALUATING FORMULAS OVER EMBEDDED FINITE MODELS
Benedikt, M Hrushovski, E Journal of Symbolic Logic (JSL)
THE EXPRESSIVENESS AND COMPLEXITY LANDSCAPE FOR 2 EVALUATING FORMULAS OVER EMBEDDED FINITE MODELS
BENEDIKT, M Journal of Symbolic Logic (JSL)
Decidability of Graph Neural Networks via Logical Characterizations
Benedikt, M Lu, C Tan, T ACM Transactions on Computational Logic (03 Mar 2026)

As Ramadan will fall primarily within term time this year, the University Equality and Diversity Unit (EDU) has collated a list of spaces that can be available for prayer for staff and students who may be on-site in department buildings. In our case that means S0.30, at the far end of the South Side.

Tue, 05 May 2026
14:00
L6

TBC

Eric Opdam
(University of Amsterdam)
Abstract

to follow

We are seeking mentors and projects for online research projects with Africa. This scheme matches mentors with Master’s-level students in sub-Saharan Africa who are not currently enrolled in a PhD programme; through a combination of research experience and skills training, the scheme aims to empower students to make competitive graduate applications in Africa and elsewhere. 

The dimension of the feasible region of pattern densities
GARBE, F KRÁL’, D MALEKSHAHIAN, A PENAGUIAO, R Mathematical Proceedings of the Cambridge Philosophical Society volume 178 issue 1 1-14 (09 Jan 2025)
Wed, 18 Feb 2026

16:00 - 17:00
L6

Fibring, foliations and group theory

William Thomas
((Mathematical Institute University of Oxford))
Abstract
The phenomena of 3-manifolds fibring over S^1 has strong links with group theory. A particular instance of this is Stallings’s fibring theorem, which roughly says that a compact 3-manifold fibres over S^1 if and only if its fundamental group admits a nontrivial homomorphism to Z with finitely generated kernel. A manifold fibring over S^1 is in some sense generalised by having a (codimension 1) foliation, with the latter forming a far broader class of objects. As such, one cannot hope in general to see a foliation in the fundamental group of your manifold, and especially not in as nice a form as a group homomorphism! In this talk we will give a gentle introduction to the objects mentioned above, before introducing a particularly nice class of foliations introduced by Thurston which do in fact appear in the fundamental group in the form of a quasimorphism with strong geometric properties. Time permitting, I will mention some ongoing work with Paula Heim on the study of these quasimorphisms from the perspective of group theory and coarse geometry. 



 

Subscribe to