
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.
Venue
East 2 (1st Floor) at the West Hub, Cambridge.
Participants
Samson Abramsky
University College London
Albert Atserias
Universitat Politècnica de Catalunya
Programme
Time
|
Monday 17 July
|
Tuesday 18 July
|
Wednesday 19 July
|
---|---|---|---|
9:30 - 10:30
|
Bartek Klin
|
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
|
Pawel Sobocinski
|
11:30 - 12:00
|
Rafał Stefanski
|
Adam Ó Conghaile
|
Anuj Dawar
|
12:00 - 12:30
|
Yoàv Montacute
|
Tim Seppelt
|
Samson Abramsky
|
12:30 - 14:00
|
Lunch
|
Lunch
|
Lunch and the workshop ends
|
14:00 - 15:00
|
Sam van Gool
|
Dan Marsden
|
|
15:00 - 15:30
|
Ioannis Eleftheriadis
|
Amin Karamlou
|
|
15:30 - 16:00
|
Tea & Coffee
|
Tea & Coffee
|
|
16:00 - 16:30
|
Martin Hyland
|
Tomáš Jakl |
|
16:30 - 17:00
|
Colin Riba
|
|
|
17:00 - 17:30
|
Jérémie Marques |
Elena Di Lavore
|
|
19:00 - 21:30
|
Day 1 ends
|
Dinner
|
|
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 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.
Meals
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.