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.
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.
Professor Nicolaos Kapouleas (Oliver Smithies Visiting Lecturer) - Proofs for soap bubbles
26 February 2026, 5.15 pm, Gillis Lecture Theatre (drinks reception in the Buttery from 6.15 pm).
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)