BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic and Semantics Seminar (Computer Laboratory)
SUMMARY:Quantum things 3 - Resources and Co-resources - An
uj Dawar (University of Cambridge)
DTSTART;TZID=Europe/London:20191206T140000
DTEND;TZID=Europe/London:20191206T150000
UID:TALK134611AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/134611
DESCRIPTION:*room subject to change*\n\nIn this talk\, I will
introduce a new EPSRC-funded project on "Resource
s and co-Resources: A junction between semantics a
nd descriptive complexity" which I jointly lead wi
th Samson Abramsky.\n\nThe project seeks to explor
e ways in which methods from the study of logic an
d algorithms (specifically finite model theory and
descriptive complexity) can be combined with meth
ods from semantics (such as category theory) to bu
ild a cohesive algebraic theory of resources.\nThi
s builds on recent work obtaining categorical acco
unts of essential constructions in finite model th
eory (by Abramsky\, Dawar and Wang and Abramsky an
d Shah)\, as well as categorical accounts of quant
um resources (by Abramsky\, Barbosa\, de Silva and
Zapata). This work made\nessential use of monads
-- seen as encapsulating quantum and other resour
ces -- and of comonads\, which encapsulate “co-res
ources”\, i.e. ways of limiting access to a struct
ure corresponding to\ndefinability in various logi
cs. The project will seek to apply these new tools
to major results in descriptive complexity\, to e
xpand them to cover other important constructions\
, to find ways of combining\naccounts of quantum r
esources and logical co-resources\, and to build a
general theory of these.
LOCATION:Computer Laboratory\, Room FW26
CONTACT:Jean Pichon-Pharabod
END:VEVENT
END:VCALENDAR