The Alan Turing Centenary Conference was an

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals ...

celebrating the life and research of

Alan Turing Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical c ...

by bringing together distinguished scientists to understand and analyse the history and development of

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

and

Artificial intelligence Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machine A machine is a physical system using Power (physics), power to apply Force, forces and control Motion, moveme ...

. The conference was organised by

Andrei Voronkov Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. Education Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987. ...

and hosted by the School of Computer Science, University of Manchester where Turing worked from 1948 until 1954. It ran from June 22 to June 25, 2012 as part of Alan Turing Year in

Manchester Town Hall Manchester Town Hall is a Victorian, Neo-gothic municipal building in Manchester, England. It is the ceremonial headquarters of Manchester City Council and houses a number of local government departments. The building faces Albert Square to the ...

Keynote speakers

Several of the

keynote A keynote in public speaking is a talk that establishes a main underlying theme. In corporate or commercial settings, greater importance is attached to the delivery of a keynote speech or keynote address. The keynote establishes the framework fo ...

speakers for the conference were distinguished

Turing Award The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in compu ...

winners including: * Rodney Brooks,

Massachusetts Institute of Technology The Massachusetts Institute of Technology (MIT) is a Private university, private Land-grant university, land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern t ...

Fred Brooks Frederick Phillips Brooks Jr. (April 19, 1931 – November 17, 2022) was an American computer architect, software engineer, and computer scientist, best known for managing the development of IBM's System/360 family of computers and the ...

University of North Carolina The University of North Carolina is the multi-campus public university system for the state of North Carolina. Overseeing the state's 16 public universities and the NC School of Science and Mathematics, it is commonly referred to as the UNC Sys ...

Turing Award winner *

Vint Cerf Vinton Gray Cerf (; born June 23, 1943) is an American Internet pioneer and is recognized as one of " the fathers of the Internet", sharing this title with TCP/IP co-developer Bob Kahn. He has received honorary degrees and awards that includ ...

Google Google LLC () is an American Multinational corporation, multinational technology company focusing on Search Engine, search engine technology, online advertising, cloud computing, software, computer software, quantum computing, e-commerce, ar ...

, Turing Award winner * Edmund M. Clarke,

Carnegie Mellon University Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania. One of its predecessors was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools; it became the Carnegie Institute of Technology ...

, Turing Award winner * Jack Copeland,

University of Canterbury The University of Canterbury ( mi, Te Whare Wānanga o Waitaha; postnominal abbreviation ''Cantuar.'' or ''Cant.'' for ''Cantuariensis'', the Latin name for Canterbury) is a public research university based in Christchurch, New Zealand. It was ...

* George Ellis,

University of Cape Town The University of Cape Town (UCT) ( af, Universiteit van Kaapstad, xh, Yunibesithi ya yaseKapa) is a public research university in Cape Town, South Africa. Established in 1829 as the South African College, it was granted full university statu ...

, Templeton Prize winner *

David Ferrucci David Ferrucci was the principal investigator who in 2007–2011 led a team of IBM and academic researchers and engineers to the development of the Watson computer system that won a television quiz. Ferrucci graduated from Manhattan College, w ...

, IBM TJ Watson Research Center Principal Investigator of the Watson/Jeopardy! project *

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

Microsoft Research Microsoft Research (MSR) is the research subsidiary of Microsoft. It was created in 1991 by Richard Rashid, Bill Gates and Nathan Myhrvold with the intent to advance state-of-the-art computing and solve difficult world problems through technologi ...

, Turing Award winner *

Garry Kasparov Garry Kimovich Kasparov (born 13 April 1963) is a Russian chess Grandmaster (chess), grandmaster, former World Chess Champion, writer, political activist and commentator. His peak Elo rating system, rating of 2851, achieved in 1999, was the hi ...

, Kasparov Chess Foundation * Samuel Klein, Trustee of the

Wikimedia Foundation The Wikimedia Foundation, Inc., or Wikimedia for short and abbreviated as WMF, is an American 501(c)(3) nonprofit organization headquartered in San Francisco, California and registered as a charitable foundation under local laws. Best kno ...

and a Director of the One Laptop per Child Foundation. *

Donald Knuth Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer ...

, Stanford University, Turing Award winner *

Yuri Matiyasevich Yuri Vladimirovich Matiyasevich, (russian: Ю́рий Влади́мирович Матиясе́вич; born 2 March 1947 in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's ...

, Institute of Mathematics, St. Petersburgh *

Hans Meinhardt Hans may refer to: __NOTOC__ People * Hans (name), a masculine given name * Hans Raj Hans, Indian singer and politician ** Navraj Hans, Indian singer, actor, entrepreneur, cricket player and performer, son of Hans Raj Hans ** Yuvraj Hans, Punjabi a ...

, Max Planck Institute for Developmental Biology *

Roger Penrose Sir Roger Penrose (born 8 August 1931) is an English mathematician, mathematical physicist, philosopher of science and Nobel Laureate in Physics. He is Emeritus Rouse Ball Professor of Mathematics in the University of Oxford, an emeritus f ...

University of Oxford The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world's second-oldest university in contin ...

Wolf Prize The Wolf Prize is an international award granted in Israel, that has been presented most years since 1978 to living scientists and artists for ''"achievements in the interest of mankind and friendly relations among people ... irrespective of natio ...

winner * Michael O. Rabin,

Harvard University Harvard University is a private Ivy League research university in Cambridge, Massachusetts. Founded in 1636 as Harvard College and named for its first benefactor, the Puritan clergyman John Harvard, it is the oldest institution of high ...

, Turing Award winner *

Adi Shamir Adi Shamir ( he, עדי שמיר; born July 6, 1952) is an Israeli cryptographer. He is a co-inventor of the Rivest–Shamir–Adleman (RSA) algorithm (along with Ron Rivest and Len Adleman), a co-inventor of the Feige–Fiat–Shamir identifica ...

Weizmann Institute of Science The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli univ ...

, Turing Award winner *

Leslie Valiant Leslie Gabriel Valiant (born 28 March 1949) is a British American computer scientist and computational theorist. He was born to a chemical engineer father and a translator mother. He is currently the T. Jefferson Coolidge Professor of Compu ...

, Turing Award winner * Manuela M. Veloso,

Andrew Yao Andrew Chi-Chih Yao (; born December 24, 1946) is a Chinese computer scientist and computational theorist. He is currently a professor and the dean of Institute for Interdisciplinary Information Sciences (IIIS) at Tsinghua University. Yao us ...

Tsinghua University Tsinghua University (; abbr. THU) is a national public research university in Beijing, China. The university is funded by the Ministry of Education. The university is a member of the C9 League, Double First Class University Plan, Projec ...

, Turing Award winner

Panelists

There were a wide range of panels during the conference chaired by: * Samson Abramsky,

* Ronald J. Brachman, Yahoo! Labs *

Martin Davis Martin Davis may refer to: * Martin Davis (Australian footballer) (born 1936), Australian rules footballer * Martin Davis (Jamaican footballer) (born 1996), Jamaican footballer * Martin Davis (mathematician) Martin David Davis (March 8, 1928 � ...

New York University New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then- Secretary of the Treasury Albert Gallatin. In 1832, ...

* Steve Furber,

University of Manchester The University of Manchester is a public university, public research university in Manchester, England. The main campus is south of Manchester city centre, Manchester City Centre on Wilmslow Road, Oxford Road. The university owns and operates majo ...

Carole Goble Carole Anne Goble, (born 10 April 1961) is a British academic who is Professor of Computer Science at the University of Manchester. She is principal investigator (PI) of the myGrid, BioCatalogue and myExperiment projects and co-leads the I ...

* Pat Hayes, Florida Institute for Human and Machine Cognition *

Bertrand Meyer Bertrand Meyer (; ; born 21 November 1950) is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the idea of design by contract. Education and academic career Meyer rece ...

ETH Zurich (colloquially) , former_name = eidgenössische polytechnische Schule , image = ETHZ.JPG , image_size = , established = , type = Public , budget = CHF 1.896 billion (2021) , rector = Günther Dissertori , president = Joël Mesot , a ...

* Moshe Y. Vardi,

Rice University William Marsh Rice University (Rice University) is a private research university in Houston, Texas. It is on a 300-acre campus near the Houston Museum District and adjacent to the Texas Medical Center. Rice is ranked among the top universit ...

References

{{reflist, 35em 2012 in England 2012 conferences Computer science conferences Department of Computer Science, University of Manchester Alan Turing

Keynote speakers

Panelists

Sponsors

References