BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:"Loop Invariants on Demand"\, Rustan Leino and Francesco Logozzo -
  Misha Aizatulin (Open University & 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