skip to content

Department of Computer Science and Technology


The Workshop is postponed to a future date, to be determined.

Due to travel restrictions resulting from the COVID-19 epidemic, we have had to postpone the workshop.  We aim to hold it at a future date some time in the next six months


Cambridge, 25–27 March 2020


This workshop marks the launch of a new 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.


Confirmed Participants

Samson Abramsky
University of Oxford

Albert Atserias
Universitat Politècnica de Catalunya

Mikołaj Bojanczyk
University of Warsaw

Célia Borlido
University of Coimbra

Adam Ó Conghaile
University of Cambridge

Anuj Dawar
University of Cambridge

Sam van Gool
University of Paris

Nicholas Gauguin Houghton-Larsen
University of Copenhagen

Tomáš Jakl
University of Cambridge

Amin Karamlou
UT Austin

Bartek Klin
University of Warsaw

Jedrzej Kolodziejski
University of Warsaw

Laura Mančinska
University of Copenhagen

Dan Marsden
University of Oxford

Paul-André Melliès
University of Paris

Tom Paine
University of Oxford

Daniela Petrisan
University of Paris

Jitendra Prakash
University of Copenhagen

Luca Reggio
University of Oxford

Janusz Schmude
University of Warsaw

Nihil Shah
University of Oxford

Nadish de Silva
University of Cambridge

Léo Stefanesco
University of Paris

Rui Soares Barbosa
University of Edinburgh

Rafał Stefański
University of Warsaw

Szymon Toruńczyk
University of Warsaw

Octavio Zapata
Universidad Nacional Autonoma de Mexico


The following is a draft schedule for the workshop. A precise final version will be posted closer to the time. The meeting will start at 9.30am on Wednesday, 25th March, and conclude at 3.30pm on Friday, 27th March.

Time Wednesday Thursday Friday
9:30-10:30 Mikołaj Bojanczyk Dan Marsden Albert Atserias
10:30-11:00 Coffee Coffee Coffee
11:00-11:30 Nadish de Silva Adam Ó Conghaile Szymon Toruńczyk
11:30-12:00 Rafał Stefański Nihil Shah Jitendra Prakash
12:00-12:30 Léo Stefanesco Tom Paine Célia Borlido
12:30-14:00 Lunch Lunch Lunch

Tomáš Jakl/

Luca Reggio

Laura Mančinska Octavio Zapata
14:30-15:00 Janusz Schmude
15:00-15:30 Daniela Petrisan Nicholas Gauguin Houghton-Larsen
15:30-16:00 Coffee Coffee  
16:00-17:00 Bartek Klin Paul-André Melliès  
17:00-17:30 Sam van Gool Rui Soares Barbosa  


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

When looking for a place to stay note that the Lab is a ~30 minute walk west of the centre of Cambridge and is served by the U bus line which runs from the train station with stops throughout Cambridge.


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

There will be a workshop dinner on Thursday, 26th March at Robinson College at 7 for 7.30pm.