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, 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), and inspired the Occam programming language.



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