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.


Programme

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		 discussion/conclusion
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 l.reggio@ucl.ac.uk or Rafał Stefański r.stefanski@ucl.ac.uk.


Confirmed participants