http://www.turing2012.fr/?page_id=492&lang=fr


Appel à participation
******************************************************************

APPEL À PARTICIPATION : TURING 2012

Conferences sur l’héritage d’Alan Turing et le centenaire de sa naissance

ENS de Lyon, France

Du 2 au 4 juillet, 2012

http://www.turing2012.fr/

(inscription gratuite)

*******************************************************************

Lieu de la conférence : ENS de Lyon Amphithéâtre Charles Mérieux Lyon — France

INSCRIPTION GRATUITE en ligne : http://www.turing2012.fr/

Premier jour (2 juillet 2012)

Cycle de conférences francophones grand public sur L’héritage d’Alan Turing, où comment la machine universelle a bouleversé notre société.

Turing, du formel logique à la forme biologique en passant par l’informatique, Jean Lassègue, CNRS, Centre de Recherche en Épistémologie Appliquée (CREA)
Alan Turing : un inventeur de langages, Gilles Dowek, Inria
A. M. Turing, l’audace d’un penseur : le ‘human computer’, la machine à état discret, la genèse des formes, Giuseppe Longo, CNRS, ENS Paris
La construction et le calcul, J.-M. Salanskis, Professeur de philosophie des sciences, de logique et d’épistémologie à l’Université Paris-Ouest Nanterre La Défense
La thèse de Turing à l’ère du calcul quantique, Sophie Laplante, Professeur en Informatique à l’Université Paris-Sud 11
Calculabilité, langages et machines : Turing et ses contemporains, Gérard Berry, Inria, titulaire de la chaire informatique et sciences numériques au Collège de France
Remise du doctorat honoris causa en informatique de l’ENS de Lyon à Leslie Valiant, lauréat du prix Turing en 2010

Deuxième jour (3 juillet 2012)

Conférence internationale en langue anglaise intitulée “Turing’s heritage: Logic, Computation & Complexity”

Leslie Valiant, School of Engineering and Applied Sciences, Harvard University, USA
Peter Bürgisser, University of Paderborn, Germany
Martin Hyland, King’s College, Cambridge, England
Daniele Micciancio, University of California, San Diego, USA
Erich Kaltofen, North Carolina State University, Raleigh, USA
Manuel Bodirsky, CNRS and Laboratoire d’Informatique de l’École Polytechnique, France
Troisième jour (3 juillet 2012)

Atelier du groupe de travail “complexité et modèles finis” du GDR CNRS Informatique Mathématique (en anglais)

La réunion annuelle du groupe de travail « complexité et modèles finis » se tiendra à l’ENS de Lyon début juillet. La réunion du groupe de travail se tiendra principalement le 3ème jour (mercredi 4 juillet). Manuel Bodirsky interviendra dès le 3 juillet au nom du groupe de travail. Une prolongation au 5 juillet est envisageable si nous recevons de nombreuses propositions d’exposés (écrire à pascal.koiran@ens-lyon.fr et natacha.portier@ens-lyon.fr). Merci aux participants de s’inscrire sur la page web de la conférence. Vous pouvez vous inscrire à chacune des journées individuellement, mais nous espérons bien sûr vous voir à l’ensemble de la conférence!

Comité scientifique

Gilles Dowek, Directeur scientifique adjoint de Inria en charge du domaine Algorithmique, programmation, logiciels et architectures
Eric Fleury, Professeur à lʼENS de Lyon, Directeur du département informatique de lʼENS de Lyon
Pascal Koiran, Professeur à lʼENS de Lyon
Alexandre Miquel, Maître de conférences à l’ENS de Lyon
Gilles Villard, Directeur de recherche CNRS, Directeur du Laboratoire de l’informatique du parallélisme (LIP)
Comité d’organisation

Eric Fleury
Sèverine Morin
Gilles Villard
CONTACT: organization@turing2012.fr