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

Subscribe to