How Turing’s machine changed the world

By
admin
– June 8, 2012

Call For Participation

Conferences on Alan Turing’s Heritage

ENS de Lyon, France

July 2-4, 2012

http://www.turing2012.fr/

VENUE : ENS de Lyon Amphitheater Charles Mérieux Lyon — France

Free Registration: http://www.turing2012.fr/

First Day (July, 2 2012)

Turing lectures for a braod audience (in French)

Alan Turing’s heritage: How the universal machine changed the world

  • 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

Leslie Valiant’s award ceremony: degree honoris causa of ENS de Lyon

Second day (July, 3 2012)

International conference on Turing’s heritage (in English)

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

Third day (Juy, 4 2012)

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

This is the annual meeting of the French working group on complexity and finite models (http://www.up2.fr/cmf/). We welcome talks by resarchers from inside or outside the working group, on topics related to finite model theory OR computational complexity (including those complexity-theoretic topics that have no connection to finite models). If you want to propose a talk, please send the title of your presentation to: Pascal Koiran <pascal.koiran@ens-lyon.fr>  or Natacha Portier <natacha.portier@ens-lyon.fr>

Registration to each day is mandatory and is Free. You can register, from the web site directly,  to each day separately. Of course, we do hope to host you during the 3 days!

Scientific committee

  • 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)

Organizing committee

  • Eric Fleury
  • Sèverine Morin
  • Gilles Villard

CONTACT: organization@turing2012.fr