BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Event structures for dummies - Tamas Kispeter (University of Cambr
 idge)
DTSTART:20160506T103000Z
DTEND:20160506T113000Z
UID:TALK69155@talks.cam.ac.uk
CONTACT:Ian Orton
DESCRIPTION:Within the field of concurrency one quickly realises that ther
 e is more to models than just a sequence of actions the system may take. I
 n particular partial order models proved to be very powerful. One such mod
 el is event structures. We are going to take a slow paced look at event st
 ructures and the neat categorical picture they present.\n\nWe are going to
  cover:\n - Definition of event structures and their configurations\n - Ex
 tend these to games\n - Some (hopefully) motivating examples along the way
 \n\nWe may cover\n - Some of the current issues\n - A language of strategi
 es\n\nThe prerequisites:\n - partial orders\n - very basic category theory
  (limits\, adjunctions\, nothing beyond the basic category theory course f
 or MPhil/Part III)
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR