[SIGCIS-Members] Final cfp Turing in context II, 10-12 Octobre 2012, Brussels

[Liesbeth De Mol]

Dear all,

I hope the following cfp is of interest to some of you,

best wishes,
Liesbeth.


[Apologies for X-posting]

FINAL CALL FOR ABSTRACTS
"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.