BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On distributed probabilistic strategies - Glynn Winskel
DTSTART:20121105T130000Z
DTEND:20121105T140000Z
UID:TALK41243@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:I'll talk about my main research occupation this last summer: 
 extending concurrent strategies with probability and\, if there's time\, a
 n application to a definition of quantum games and strategies. The definit
 ions and their properties rely on new results on probabilistic event struc
 tures. The work is part of a programme to investigate the feasibility of c
 oncurrent games and strategies as a new basis for semantics\, in which typ
 es denote concurrent games and programs/processes denote strategies.
LOCATION:FW26
END:VEVENT
END:VCALENDAR