BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A playful introduction to categories of games - Eric Faber (Univer
 sity of Cambridge)
DTSTART:20150804T131500Z
DTEND:20150804T141500Z
UID:TALK60188@talks.cam.ac.uk
CONTACT:Zhen Lin Low
DESCRIPTION:Categories of games form an important class of models for intu
 itionistic linear logic and denotational semantics. In this talk\, I will 
 give an elementary introduction to the structure of these categories and s
 tress the parts that are key to their application as models of linear logi
 c and computation. Apart from some (monoidal) category theory the talk sho
 uld be very accessible and fun.\n
LOCATION:MR3\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR