BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:iCAP-TSO\, a program logic for the TSO relaxed memory model - Jean
  Pichon-Pharabod ()
DTSTART:20171103T110000Z
DTEND:20171103T120000Z
UID:TALK95137@talks.cam.ac.uk
CONTACT:Ian Orton
DESCRIPTION:Reasoning about programs is difficult. Reasoning about concurr
 ent programs is even more difficult. Reasoning in relaxed memory models is
  even worse. In this talk\, I will present TSO\, one of the simplest relax
 ed memory models\, and iCAP-TSO\, a separation logic for TSO. 
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR