BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Boogie: A Modular Reusable Verifier for Object-Oriented Programs. 
 - Francois Dupressoir
DTSTART:20081203T110000Z
DTEND:20081203T123000Z
UID:TALK15429@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:Boogie: A Modular Reusable Verifier for Object-Oriented Progra
 ms.\nhttp://research.microsoft.com/specsharp/papers/krml160.pdf
LOCATION:SS03\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR