The expressiveness and complexity landscape for evaluating formulas over embedded finite models
Benedikt, M
Hrushovski, E
Journal of Symbolic Logic
THE EXPRESSIVENESS AND COMPLEXITY LANDSCAPE FOR EVALUATING FORMULAS OVER EMBEDDED FINITE MODELS
BENEDIKT, M
HRUSHOVSKI, E
Journal of Symbolic Logic
1-43
(26 Feb 2026)
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
14:00
L6
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.