Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012