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.
 
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