CALL FOR PAPERS

“Turing in Context II”
Historical and Contemporary Research in Logic, Computing Machinery and AI

www.computing-conference.ugent.be/tic2

10-12 October, 2012
Royal Flemish Academy of Belgium
for Sciences and the Arts,
Brussels, Belgium

In the spirit of Alan Turing’s interdisciplinary research, an international meeting will be held at the Royal Flemish Academy for the Sciences and Arts, exploring recent research into the many directions brought together in his work.

This meeting is the second Turing in Context event during the 2012 Turing centennial. The first was held at King’s College, Cambridge, 18-19 February 2012. It was an outreach event for the general academic public with invited speakers only. Turing in Context II is a research meeting meant for experts in the fields touched by Turing’s contributions to science.

TOPICS of the meeting include but are not restricted to:

• history and theory of symbolic and physical machines
• human and artificial intelligence
• logic, computability and complexity

We cordially invite contributions in all fields relating to the work and legacy of Alan Turing, both current research continuing Turing’s ideas, and historical and philosophical reflections on them. Researchers from areas that Turing worked in but are not listed above, such as pattern formation and cryptography are explicitly encouraged to submit as well.

Submissions should be 200-500 words abstracts and should be submitted to EasyChair via the following link:

http://www.easychair.org/conferences/?conf=tic2

Authors of accepted papers will later be invited to send an extended abstract (max. 6 pages) to be reviewed by the programme committee for publication in a volume of the Academy Proceedings Series. A volume of full papers might follow after the conference.

TIMETABLE:

Deadline Submission of Abstracts: July 20, 2012
Notification of Acceptance: August 20, 2012
Conference:  October 10-12, 2012

KEYNOTES:

• S. Barry Cooper, “Turing Machines, Embodied Information, and Higher Type Computability”
• Leo Corry, Turing and the Computational Tradition in Pure Mathematics: The Case of the Riemann Zeta-Function
• Daniel Dennett, “Turing’s gradualist vision: making minds from proto-minds”
• Marie Hicks, The Imitation Game Writ Large: Thinking about gender, labor, and sexuality in making machines useful.
• Maurice Margenstern, Universality everywhere and beyond, an epic of computer science
• Elvira Mayordomo, From Computability to Information Theory
• Alexandra Shlapentokh, Definability and decidability over function fields of positive characteristic
• Rineke Verbrugge, Cognitive systems in interaction

PROGRAMME COMMITTEE:

Bill Aspray (University of Texas)
Tony Beavers (University of Evansville)
Liesbeth De Mol (Ghent University)
Luc De Raedt (Leuven University)
Pablo Gervas (Universidad Complutense de Madrid)
Antonina Kolokolova (University of Toronto)
Benedikt Loewe (University of Amsterdam)
David McCarty (Indiana University Bloomington)
Erik Myin (Antwerp University)
Giuseppe Primiero (Ghent University)
Wilfried Sieg (Carnegie Mellon University)
Mariya Soskova (Sofia University)
Jean-Paul van Bendegem (Free University of Brussels)
Bart van Kerkhove (Hasselt University)

ORGANIZING COMMITTEE:

Liesbeth De Mol, Benedikt Loewe, Giuseppe Primiero, Jean-Paul van Bendegem, Dagmar Provijn, Bart van Kerckhove

The meeting is sponsored by the Royal Flemish Academy of the Sciences and the Arts and the Belgian Society for Logic and Philosophy of Science