10-12 October 2012
Brussels, Belgium
/Second 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: August 15, 2012 Notification of Acceptance: August 31, 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, Bart van Kerkhove The meeting is sponsored by: Royal Flemish Academy of the Sciences, Belgian Society for Logic and Philosophy of Science, Fund for Scientific Research Flanders, Centre for Logic and Philosophy of Science, VUB.