Sir Charles Antony Richard Hoare giving a conference at EPFL on 20 June 2011