BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Work in progress: a prototype refactoring tool based on a mechanic
 ally-verified core - Nik Sultana (University of Cambridge)
DTSTART:20110607T121500Z
DTEND:20110607T130000Z
UID:TALK31248@talks.cam.ac.uk
CONTACT:William Denman
DESCRIPTION:This is a brief experience report on implementing a tiny\nrefa
 ctoring tool around a verified core which has been generated using a\ntheo
 rem prover.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR