Resources in Computation - project meeting (2022)

This is the first meeting of the EPSRC project “Resources in Computation”, led by Samson Abramsky. It will take place from September 21st to September 23rd 2022 at the Department of Computer Science of University College London.


Wednesday 21 Thursday 22 Friday 23
9:30-10:30 Paul-André Melliès
A functorial excursion between linear
logic and algebraic geometry
Amin Karamlou
Results about mixed distributive laws
motivated by considerations in
logic and non-local games
Luca Reggio
Arboreal categories
10:30-11:00 welcome coffee break coffee break
11:00-12:00 Samson Abramsky
Resources in computation
Anuj Dawar
Linear algebraic quantifiers
Yoàv Montacute
Everything Everywhere All in One
Nihil Shah
Linear arboreal categories
12:00-14:00 lunch break lunch break lunch break
14:00-15:00 Jouko Väänänen
On three games of logic
Thomas Ehrhard
Coherent differentiation
15:00-16:00 Rui Soares Barbosa
Contextuality as a resource
Vincent Moreau
From profinite words to profinite λ-terms
Tomáš Jakl
A structural account of composition
methods in logic
16:00-16:30 coffee break coffee break
16:30-17:30 Joni Puljujärvi
Team semantics and independence
notions in quantum physics
Rafał Stefański
Monads, comonads, and
Mealy machines
Dan Marsden
Comonadic semantics for hybrid logic

Local information
The meeting will take place in Room G01 (ground floor) of the Department of Computer Science of UCL, 66-72 Gower Street, London WC1E 6EA.
The social dinner will be on Wednesday 21th at 19:00 at Myra, 52-54 New Oxford St, London WC1A 1ES (Google Maps directions).

Organising and programme committee

  • Samson Abramsky
  • Luca Reggio
  • Rafał Stefański

Contact information
For further information please contact Luca Reggio or Rafał Stefański

Confirmed participants