Hi All, An opportunity to hear Hoare talk is not one to miss. I, for one, definitely plan to go. David ---------- Forwarded message ---------- From: Drossopoulou, Sophia <s.drossopoulou@imperial.ac.uk> Date: 26 September 2013 10:29 Subject: Tony Hoare talk, today, Thursday, 26.09, at 13:30-14:30 To: "academic-list@doc.ic.ac.uk" <academic-list@doc.ic.ac.uk> Dear Colleagues, Tony Hoare is one of the keynote speakers of ICSSW'13, and will be talking today. *1:30pm - 2:30pm*: Keynote, room 311 Tony Hoare, Microsoft Research The algebraic laws for programming with concurrency are as simple as (and very similar to) the familiar laws of arithmetic. Yet they are stronger for reasoning about the properties of programs than the axioms of Hoare Logic and the rules of an operational semantics put together. *Sir Charles Antony Richard Hoare<http://research.microsoft.com/en-us/people/thoare/>, commonly known as Tony Hoare, is a British computer scientist, probably best known for the development in 1960, at age 26, of Quicksort. He also developed Hoare logic, the formal language Communicating Sequential Processes (CSP) <http://www.usingcsp.com/>, and inspired the Occam programming language <http://pop-users.org/occam-pi/>.* Please encourage your PhD students and RAs to attend. At the moment there are only 25 people in 311, and I think we need a more enthusiastic show for such a prominent researcher. Best regards, Sophia ----------------------------------------------------------------------------------------------------------- Sophia Drossopoulou Department of Computing Imperial College London http://www.doc.ic.ac.uk/~scd/ -- Dr David Ham Department of Computing Imperial College London http://www.imperial.ac.uk/people/david.ham