22 novembre 2011

IA : L'année Turing

À l'occasion du centenaire de la naissance de Alan Turing, plusieurs actions vont être menées au cours de cette année 2012.
La revue Philosophia Scientiæ publiera un volume spécial, prévu pour mars, comportant une sélection d'articles en rapport avec trois thématiques : 
1. Histoire des sciences : L'œuvre de Turing dans l'histoire de la logique mathématique
2. Philosophie de la logique : L'œuvre  de Turing du point de vue de la philosophie de la logique
3. Logique mathématique, informatique fondamentale: L'influence actuelle de l'œuvre de Turing en logique mathématique.
Du 2 au 6 juillet 2012 se tiendra à Birmingham (Royaume Uni) la réunion conjointe de l'AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) et de l'IACAP (The International Association for Computing and Philosophy) consacrée à Turing.
De nombreuses autres initiatives seront signalées ici au fil des mois prochains.
L'année Turing est coordonnée par le Turing Centenary Advisory Committee (TCAC).

Aucun commentaire: