BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:'Local Rely-Guarantee Reasoning'\, Xinyu Feng - John Wickerson (Un
 iversity of Cambridge)
DTSTART:20090513T100000Z
DTEND:20090513T113000Z
UID:TALK18323@talks.cam.ac.uk
CONTACT:Mike Dodds
DESCRIPTION:http://ttic.uchicago.edu/~feng/research/publications/LRG.pdf\n
 \nLocal Rely-Guarantee (LRG) is the latest in a series of attempts to marr
 y the local reasoning abilities of Separation Logic with the interference-
 handling capability of the Rely-Guarantee method. In LRG\, not only are th
 e pre- and postconditions local\, but so are the rely and guarantee condit
 ions. This gives much better modularity than ordinary Rely-Guarantee reaso
 ning can achieve.\n\nIn the talk\, I'll present the background on Rely-Gua
 rantee\, and then present LRG. I'm hoping to make it quite a bit simpler t
 han the presentation in the POPL paper.
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR