BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:Lecture Leslie Lamport (Microsoft Corporation)
DTSTART:20110616T120000Z
DTEND:20110616T130000Z
UID:7acf0af4-3aae-4c12-b794-18e0dd653d02
DESCRIPTION:Title: The PlusCal Algorithm Language Leslie Lamport made vari
 ous fundamental contributions to distributed systems\, fault-tolerant comp
 uting\, cryptography\, and program verification. He also created the LaTeX
  system.  For his research Lamport received numerous awards including the
  IEEE John von Neumann Medal. Everybody is welcome to attend this lecture
 .\n\nLocation:\nTuring room
LOCATION:Turing room
END:VEVENT
END:VCALENDAR