BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Bottom-up formalization of the ARM architecture - Alastair Reid\, 
 Principal Engineer\, R&amp\;D\, ARM Ltd
DTSTART:20120221T130000Z
DTEND:20120221T140000Z
UID:TALK35075@talks.cam.ac.uk
CONTACT:William Denman
DESCRIPTION:Many formal descriptions of processors start with a blank shee
 t of paper: the authors are free to use any notation and formalisms they w
 ish in creating their specification.\nThis talk will explore a different a
 pproach: working with existing specifications and the data mining\, engine
 ering and social engineering steps needed to develop an accessible formal 
 specification that can be widely used both by those with formal methods ex
 perience and those with none.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR