BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:In praise of algebra 
DTSTART:20110621T111500
DTSTAMP:20260527T190500Z
UID:4362d4fd26e927daef93bc2ad947bdee4eca27a711283faefcd9acaa
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Tony Hoare\, Microsoft Research\nGeorge Boole was a pion
 eer of the algebraic presentation of logic.  I will suggest algebra as a s
 imple way of presenting and reasoning about the semantics of broad familie
 s of programming languages.  It neatly characterises the similarities and 
 differences between members of the family\, and the choices that are made 
 in design of new languages.\nDenotational\, operational\, and deductive se
 mantic presentations can be readily derived from algebraic axioms by algeb
 raic reasoning.  When a programming language is extended (for example\, by
  introduction of non-determinism and concurrency)\, all the earlier and si
 mpler derivations\nand theorems remain valid.  Prof. Hoare's homepage
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR