BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Introduction to game semantics for programming languages - Aurore 
 Alcolei
DTSTART:20181031T110000Z
DTEND:20181031T120000Z
UID:TALK114361@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:This year\, the field of game semantics celebrates the 25th an
 niversary of one of its cornerstone results: a fully abstract model for th
 e programming language PCF. In this talk\, I will give an introduction to 
 game semantics for programming languages\, a semantics that interprets typ
 es as 2-player games and programs as strategies over these games.\n\nStart
 ing with some reminders from operational and denotational semantics as to 
 the notion of full abstraction\, I will then move on presenting a (decidab
 le) game semantics for a small imperative programming language with first 
 order functions\, fIA.\nIn the time remaining\, I will try to emphasize th
 e expressiveness of game semantics by showing how other programming langua
 ge features such as recursion or concurrency can be represented in game mo
 dels.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR