BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verifying an Operating System Kernel - Michael Norrish (Nicta)
DTSTART:20070927T130000Z
DTEND:20070927T140000Z
UID:TALK8308@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:I will describe an ongoing project to verify a version of the 
 L4 microkernel. I will describe some of the important logical problems\, b
 ut also cover the pragmatics of marrying OS design and development (done b
 y OS hackers) with the verification of the design and code (done by Isabel
 le users).\n
LOCATION:Lecture Theatre 1\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR