BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Symmetries in quantitative semantics - Hugo Paquet\, University of
  Oxford
DTSTART:20220610T130000Z
DTEND:20220610T140000Z
UID:TALK173654@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:'Quantitative semantics' refers to a kind of denotational sema
 ntics for lambda-calculi that relies on models of linear logic. This inclu
 des game semantics and a variety of models based on relations or profuncto
 rs.\n\nIn this talk I will discuss the symmetries that arise in some of th
 ese models\, because of the underlying linear structure.\nThe first part o
 f the talk will be about game semantics: I will recall the key ideas\, and
  then give a new description of symmetries as algebraic structure on games
  and strategies. \nIn the second part\, based on joint work with Pierre Cl
 airambault\, I will explain how this connects with the symmetries in two o
 ther quantitative models based on profunctors and weighted relations.
LOCATION:SS03
END:VEVENT
END:VCALENDAR