skip to content

Department of Computer Science and Technology


Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity 

Cambridge, 17 - 19 July 2023

This workshop marks the completion of an EPSRC-funded project "Resources and co-resources: a junction between semantics and descriptive complexity" which is jointly led by Anuj Dawar at Cambridge and Samson Abramsky at Oxford. The project seeks to explore ways in which methods from the study of logic and algorithms (specifically finite model theory and descriptive complexity) can be combined with methods from semantics (such as category theory) to build a cohesive algebraic theory of resources.


East 2 (1st Floor) at the West Hub, Cambridge.


Samson Abramsky
University College London

Albert Atserias
Universitat Politècnica de Catalunya

University of Cambridge
Tallinn University of Technology
University of Cambridge
University College London
University of Cambridge
Czech Academy of Sciences and Czech Technical University
University of Oxford
University of Oxford
Jérémie Marquès
Université Côte d'Azur
University of Nottingham School of Computer Science 
CNRS, Université Paris Cité, INRIA
University of Cambridge
University College London
Université De Lyon
University of Oxford
Tallinn University of Technology
University College London
Université Paris Cité



Monday 17 July
Tuesday 18 July
Wednesday 19 July
9:30 - 10:30
Bartek Klin

Polyregular Functions on Trees of Bounded Height

Albert Atserias
Paul-André Melliès
10:30 - 11:00
Tea & Coffee
Tea & Coffee
Tea & Coffee
11:00 - 11:30
Luca Reggio
Jakub Opršal

An Invitation to Promise Constraint Satisfaction Problem

Pawel Sobocinski
11:30 - 12:00
Rafał Stefanski

Single-use Restriction vs. Associativity

Adam Ó Conghaile

Shaefer Via Topology - Cohomology for CSPs on Boolean Domains

Anuj Dawar
12:00 - 12:30
Yoàv Montacute
Tim Seppelt

Syntax and Semantics of Homomorphism Indistinguishability

Samson Abramsky
12:30 - 14:00
Lunch and the workshop ends
14:00 - 15:00
Sam van Gool

Modal Unification Step by Step 

Dan Marsden
15:00 - 15:30
Ioannis Eleftheriadis

Towards a Characterisation of Universal Categories of Relational Structures

Amin Karamlou

Some Structural Aspects of Quantum Advantage

15:30 - 16:00
Tea & Coffee 
Tea & Coffee 
16:00 - 16:30
Martin Hyland


Tomáš Jakl

A Synthetic Road to Locality Theorems

16:30 - 17:00
Colin Riba
17:00 - 17:30

 Jérémie Marques

The Freyd--Schützenberger Completion of a Small Category

Elena Di Lavore 

Monoidal Width

19:00 - 21:30
Day 1 ends


As Cambridge is a popular tourist destination, it is advised to book as early as possible.

Many of the Cambridge colleges provide accommodation which can be booked through the University Rooms website. Colleges closest to the Computer Laboratory include Churchill, Robinson & Selwyn. Be aware that some of these rooms may have shared bathrooms.

Otherwise, there are the usual options of, AirBnB and etc. A number of participants will be staying at the Turing Locke in Eddington, which is about 1 mile from the West Hub. There are U Universal bus stops right outside of the West Hub.


Lunch (on all three days) and coffee during breaks will be provided on-site.

There will be a workshop dinner on Tuesday, 18 July at the University Arms Hotel at 7 for 7.30 pm.

Getting Around

West Hub is a 30-minute walk west to the centre of Cambridge and the University 'U' bus from the city centre / Madingley Road Park and Ride also serves the West Cambridge site and stops outside of the West Hub.

If you would like to book a taxi, Panther Taxi is reliable and almost always on time, you can call 01223 715 715 to book or download the Panther Taxi Mobile App, they accept both cash or card.