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.