[FOM] CfP: Turing in context II -- Historical and Contemporary Research in Logic, Computing Machinery and AI

[gprimiero at libero.it]

APOLOGIES FOR MULTIPLE POSTINGS



-------------------------------
CALL FOR PAPERS

"Turing in context II"
Historical and Contemporary Research 
in Logic, Computing Machinery and AI


http://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. 

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

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