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

Aim

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.

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

Schedule

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.

Accommodation

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 Booking.com, 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.

Meals

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.