BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Game Semantics for Interface Middleweight Java - Andrzej Murawski\
 , University of Warwick
DTSTART:20150213T140000Z
DTEND:20150213T150000Z
UID:TALK55912@talks.cam.ac.uk
CONTACT:Jonathan Hayman
DESCRIPTION:Recent years have seen game semantics emerge as a robust seman
 tic\nparadigm. It has been used to construct the first fully abstract\nmod
 els for a wide spectrum of programming languages\, previously out of\nreac
 h of denotational semantics. Game semantics models computation as\nan exch
 ange of moves between two players\, representing respectively\nthe program
  and its computational environment. Accordingly\, a program\nis interprete
 d as a strategy in a game corresponding to its type. I\nwill give an overv
 iew of the latest developments in the area\, which\nhave most recently led
  to a fully abstract model of Middleweight Java.\nThis is joint work with 
 Nikos Tzevelekos (Queen Mary) presented at\nPOPL'14.\n
LOCATION:Computer Laboratory\, William Gates Building\, Lecture Theatre 2
END:VEVENT
END:VCALENDAR