[FOM] Second CfP: Turing in context II -- Brussels, 10-12 October 2012

[gprimiero at libero.it]

With Apologies for Multiple Postings


-----------------------------------------------------------
-------------------------------------------------------------
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.



-- 
dr. Giuseppe Primiero Centre for Logic and Philosophy of Science Ghent 
University www.philosophy.ugent.be/giuseppeprimiero