BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Quantum things 3 - Resources and Co-resources - Anuj Dawar (Univer
 sity of Cambridge)
DTSTART:20191206T140000Z
DTEND:20191206T150000Z
UID:TALK134611@talks.cam.ac.uk
CONTACT:Jean Pichon-Pharabod
DESCRIPTION:*room subject to change*\n\nIn this talk\, I will introduce a 
 new  EPSRC-funded project on "Resources and co-Resources: A junction betwe
 en semantics and descriptive complexity" which I jointly lead with Samson 
 Abramsky.\n\nThe project seeks to explore ways in which methods from the s
 tudy of logic and algorithms (specifically finite model theory and descrip
 tive complexity) can be combined with methods from semantics (such as cate
 gory theory) to build a cohesive algebraic theory of resources.\nThis buil
 ds on recent work obtaining categorical accounts of essential construction
 s in finite model theory (by Abramsky\, Dawar and Wang and Abramsky and Sh
 ah)\, as well as categorical accounts of quantum resources (by Abramsky\, 
 Barbosa\, de Silva and Zapata).  This work made\nessential use of monads -
 - seen as encapsulating quantum and other resources -- and of comonads\, w
 hich encapsulate “co-resources”\, i.e. ways of limiting access to a st
 ructure corresponding to\ndefinability in various logics. The project will
  seek to apply these new tools to major results in descriptive complexity\
 , to expand them to cover other important constructions\, to find ways of 
 combining\naccounts of quantum resources and logical co-resources\, and to
  build a general theory of these.
LOCATION:Computer Laboratory\, Room FW26
END:VEVENT
END:VCALENDAR