BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Calysto: Scalable and Precise Extended Static Checking - Misha Aiz
 atulin (Open University &amp\; Microsoft Research)
DTSTART:20090520T100000Z
DTEND:20090520T113000Z
UID:TALK18366@talks.cam.ac.uk
CONTACT:Mike Dodds
DESCRIPTION:I'll talk about "Calysto: Scalable and Precise Extended Static
  Checking":\nhttp://www.domagoj-babic.com/index.php/Pubs/ICSE08\n\nThe pap
 er itself is rather general\, so I will probably draw some details from th
 e PhD thesis:\nhttp://www.domagoj-babic.com/index.php/Pubs/PHD08
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR