******************************************************************
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 à [email protected] et [email protected]). 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: [email protected]
