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

http://www.turing100.manchester.ac.uk/

During the twentieth century, a number of thinkers – including Kurt Gödel, von Neumann, and Alan Turing – brought the breadth and depth of vision needed to make a number of key breakthroughs. This was particularly true in the areas of computational science, mathematics, physics, and developmental biology. Important accompanying developments were the building of the first computers; the subsequent use of these computers to simulate human intelligence, the use of mathematics to clarify the limitations and potential of computing machines; the engagement at theoretical and practical levels with simulating and understanding intelligent thought; the modelling of complex processes in nature which appeared to transcend mechanical computation; and the development of a better understanding of how information is created and hidden in the real world.

June 23, 2012 marks the centenary of the birth of Alan Turing. Alan Turing is arguably the most famous computer scientist of all times. The Turing Centenary Conference will be held in Manchester on June 22-25, 2012, hosted by The University in Manchester, where Turing worked in 1948-1954. The main theme of the conference is Alan Turing’s Centenary. It has the following aims:

• to celebrate the life and research of Alan Turing;
• to bring together the most distinguished scientists, to understand and analyse the history and development of Computer Science and Artificial Intelligence;

The conference includes two special public lectures (90 minutes each), 17 lectures (60 minutes each) by invited speakers, including lectures presenting the work of Alan Turing, one dinner lecture, two panel discussions, the presentation of awards to the research competition winners and short presentations from the selected research competition winners.

In addition, the Conference will include the following events

• a computer chess event;
• a poster session;
• the best paper award ceremony;
• a competition of computer programs proving theorems.

Call for Papers

The Turing Centenary Conference will include invited talks and a poster session. Submissions are sought in several areas of computer science, mathematics, and biology. The University of Manchester established a £20,000 worth best paper award program. A subset of poster session submissions will be selected as candidates for best paper awards.

Submissions of two kinds are welcome:

1. Regular papers
2. Research reports

All submitted papers must be in the PDF format and between 3 and 15 pages long. All submissions will be evaluated by the programme committee. Submissions must be in the PDF format. Submission is through the EasyChair system, the submission page.

Regular papers must include original work not submitted before or during the Turing-100 reviewing period to any other event with published proceedings or a journal. All submitted regular papers will be considered eligible for the best paper awards.

Research reports can contain work in progress and/or be based on previously submitted work. They will not be eligible for the best paper awards.

Submissions are welcome in all areas of computer science, mathematics and biology listed below:

• computation theory
• logic in computation
• artificial intelligence
• social aspects of computation
• models of computation
• program analysis
• mathematics of evolution and emergence
• knowledge processing
• natural language processing
• cryptography
• machine learning
• cognitive science
• mathematical biology

Schedule and conference proceedings

The submission deadline is April 16. All submissions will be evaluated by the Turing-100 programme. Authors will be notified by acceptance or rejection on or before May 1st.  At least one author of every accepted paper must register for the conference, attend it and present the paper at the poster session. All accepted papers will be published in the conference proceedings and available at the conference. The instructions on preparing final versions for the proceedings will appear on this Web site.

Best paper awards

A subset of accepted regular papers will be selected by the programme committee for the second round of reviewing. The authors of the selected papers will be invited to submit revised versions of their papers by May 16. The programme committee will make decisions on best paper awards by June 14. All papers receiving the award will be published in a book dedicated to the conference and published after the conference. This book will also contain some papers by invited and panel speakers.

In the case of doubts about the relevance of your paper to the conference and for all other queries please contact programme chair Andrei Voronkov at andrei@voronkov.com.