BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:John on "The Software Model Checker BLAST" - John Wickerson
DTSTART:20090204T110000Z
DTEND:20090204T123000Z
UID:TALK16918@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:The first paper will be presented by John Wickerson on BLAST.\
 n \nPaper:\nhttp://www.cs.sfu.ca/~dbeyer/Publications/2007-STTT.The_Softwa
 re_Model_Checker_BLAST.pdf\n \nThe paper is a journal article\, so rather 
 long. It would suffice therefore to read only sections 1 and 2\; the other
  sections cover two case studies that John's talk won't cover.
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR