BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Nondeterminism: many questions and (maybe) some answers - Paul Lev
 y\, University of Birmingham (visiting Cambridge until March 15)
DTSTART:20090130T140000Z
DTEND:20090130T150000Z
UID:TALK16768@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Denotational semantics of nondeterminism is an old subject\, b
 ut many\nfundamental problems remain\, such as modelling bisimulation and 
 fairness.\nThis talk is a survey of the state of the art in these problems
 .\n\nOn the one hand\, we see counterexamples that pinpoint the difficulti
 es. On\nthe other\, I will indicate some lines of investigation that appea
 r\npromising\, using recent technology such as game semantics and operatio
 nal\nreasoning methods.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR