BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:&quot\;Loop Invariants on Demand&quot\;\, Rustan Leino and Frances
 co Logozzo - Misha Aizatulin (Open University &amp\; Microsoft Research)
DTSTART:20091104T110000Z
DTEND:20091104T123000Z
UID:TALK21068@talks.cam.ac.uk
CONTACT:Mike Dodds
DESCRIPTION:http://research.microsoft.com/~leino/papers/krml155.pdf
LOCATION:Room FW09\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR