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

Comments are closed.