BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Thinking for Programmers: Rising Above the Code - Leslie Lamport\,
  Microsoft Research
DTSTART:20140513T163000Z
DTEND:20140513T173000Z
UID:TALK51992@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Architects draw detailed blueprints before a brick is laid or 
 a nail is hammered.Programmers and software engineers seldom do.A blueprin
 t for software is called a specification. The need forextremely rigorous s
 pecifications before coding complex or criticalsystems should be obvious -
 especially for concurrent and distributedsystems.This talk explains why so
 me sort of specification should bewritten for any software.\n\nThis talk w
 ill be followed by drinks and canapés.\n\nPlease register "here":http://r
 esearch.microsoft.com/en-us/events/msdrl/ to ensure your place.\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR