BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Introduction to Separation Logic - Ryan Hamlet
DTSTART:20100302T174500Z
DTEND:20100302T184500Z
UID:TALK21470@talks.cam.ac.uk
CONTACT:John Wickerson
DESCRIPTION:Hoare logic is widely known as the basis for most verification
  techniques. But traditional methods of program verification break down wh
 en faced with the need to reason over data structures in the heap. In this
  talk we present an extension of Hoare logic that permits reasoning about 
 low-level imperative programs that use shared mutable data structures.
LOCATION:Club Room\, Churchill College
END:VEVENT
END:VCALENDAR