BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Laws of Programming with Concurrency - Sir Tony Hoare\, Microsoft
DTSTART:20150129T163000Z
DTEND:20150129T173000Z
UID:TALK56575@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:The basic Laws of Nature sought by many branches of science\, 
 as well as the basic axioms postulated in many branches of mathematics\, h
 ave historically been expressed in great generality as algebraic equations
 \, or occasionally as inequalities.  Nowadays these equations provide the 
 theoretical foundation for the design of automated tools which are widely 
 used to help scientists and engineers in pursuit of their goals.  This is 
 the way in which Isaac Newton still contributes to mechanics\, Blaise Pasc
 al to statistics\, Clark Maxwell to electronics\, and George Boole to comp
 uter Logic Design.\n \nHow many Computer Scientists and Software Engineers
  are familiar with the laws which underlie their own professional practice
 ?  They are remarkably similar to the laws of arithmetic\, taught even tod
 ay to schoolchildren.  I will present arguments that they are both general
 ly true of computer programs\, and provide the foundation for tools that a
 re widely used in programming practice. And the laws of concurrent program
 ming are no more complicated than those for sequential programming.\n\nThi
 s talk will be followed by drinks and canapés.\n\nPlease register to ensu
 re your place at:\nhttp://research.microsoft.com/en-us/events/lpc/default.
 aspx\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR