BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:QuickSpec -- Guessing Formal Specifications using Testing - Koen C
 laessen (Chalmers/Visiting at MSR)
DTSTART:20101202T160000Z
DTEND:20101202T170000Z
UID:TALK28263@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:"Give me a module. No\, don't show me the source code! Just th
 e object code is enough. Now\, tell me the names and types of the function
 s in your module. I will automatically generate an algebraic specification
  for your module in the form of a list of equations." In presentation\, I 
 will perform the trick and reveal how it is done!\n\nJoint work with Nick 
 Smallbone and John Hughes.\n
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR