BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:'Mechanized semantics for the Clight subset of the C language'\, B
 lazy & Leroy - Tom Ridge (University of Cambridge)
DTSTART:20090624T100000Z
DTEND:20090624T113000Z
UID:TALK18924@talks.cam.ac.uk
CONTACT:Mike Dodds
DESCRIPTION:http://pauillac.inria.fr/~xleroy/publi/Clight.pdf\n
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR