BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Algebra unifies Calculi of programming - Tony Hoare - Microsoft Re
 search Cambridge
DTSTART:20111021T130000Z
DTEND:20111021T140000Z
UID:TALK34068@talks.cam.ac.uk
CONTACT:Bjarki Holm
DESCRIPTION:Boolean algebra has made an indispensable contribution to the 
 design of computer hardware.  I suggest an algebra of programs\, supported
  by mechanised tools\,  may be important in the engineering of software.  
 The algebraic laws that govern program constructions are extremely familia
 r (e.g. associativity\, commutativity)\, but with a couple of novel extens
 ions to treat concurrency\, and they apply to program specifications and d
 esigns as well.  The laws justify  algebraic proofs of a collection of use
 ful programming calculi\, including both deductive rules (e.g. Hoare Logic
 ) and operational semantics (e.g. Milner transitions).  Surprisingly\, the
  algebra is simpler than each of these calculi individually\, and as stron
 g as all of them in combination.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR