Resources and co-resources: a junction between semantics and descriptive complexity
Lead Research Organisation:
University of Cambridge
Department Name: Computer Science and Technology
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
People |
ORCID iD |
| Anuj Dawar (Principal Investigator) |
Publications
Adam Ó Conghaile
(2022)
Cohomology in Constraint Satisfaction and Structure Isomorphism
Adam Ó Conghaile
(2021)
Game Comonads & Generalised Quantifiers
Conghaile A.Ó.
(2022)
Cohomology in Constraint Satisfaction and Structure Isomorphism
in Leibniz International Proceedings in Informatics, LIPIcs
Conghaile A.Ó.
(2021)
Game comonads & generalised quantifiers
in Leibniz International Proceedings in Informatics, LIPIcs
Dawar A
(2019)
Descriptive complexity of graph spectra
in Annals of Pure and Applied Logic
Dawar A
(2021)
Lovász-Type Theorems and Game Comonads
Dawar A
(2020)
Generalizations of k-dimensional Weisfeiler-Leman stabilization
in Moscow Journal of Combinatorics and Number Theory
Gehrke M
(2022)
A duality theoretic view on limits of finite structures: Extended version
in Logical Methods in Computer Science
| Description | New connections have been established between the semantic framework for studying structure in computation and the descriptive complexity framework for studying the expressive power of logical languages. |
| Exploitation Route | The new methods established are likely to be exploited to obtain significant new results on the expressive power of logics in the descriptive complexity framework and to raise new directions of research in the context of categorical semantics. |
| Sectors | Digital/Communication/Information Technologies (including Software) |
| Description | European Summer School in Logic, Language and Information - ESSLLI 2022 |
| Form Of Engagement Activity | Participation in an activity, workshop or similar |
| Part Of Official Scheme? | No |
| Geographic Reach | International |
| Primary Audience | Postgraduate students |
| Results and Impact | A course on Relating Structure to Power: An Invitation to Game Comonads delivered by Luca Reggio and Tomáš Jakl. |
| Year(s) Of Engagement Activity | 2022 |
| URL | https://2022.esslli.eu/courses-workshops-accepted/logic-and-computational-courses.html |