Colloquium POLARIS
  • French (Fr)
  • English (United Kingdom)
  • Accueil
  • Prochain rendez-vous
  • Collection
  • Contacts
Accueil » Plan du site
Plan du site
  • Accueil
  • Prochain rendez-vous
    • Serge Grigorieff : une question résiduelle après Turing, formaliser la notion d'algorithme.
  • Collection
    • Gilles Dowek, pour une deuxième révolution galiléenne ?
    • Teodor Gabriel Crainic, planification intégrée des services de transport de marchandises
    • Joëlle Coutaz, l'Interaction Homme-Machine en 4 saisons
    • Marc Snir, dernière répétition avant l'ère post-Moore
  • Contacts
  • Plan du site
  • Nous contacter
  • Mentions légales
  • Université Lille Nord de France
  • INRIA, Centre de Recherche Lille - Nord Europe
  • Laboratoire d'Informatique Fondamentale de Lille
  • Laboratoire d'Automatique, Génie Informatique et Signal

Prochain rendez-vous

  • Serge Grigorieff : une question résiduelle après Turing, formaliser la notion d'algorithme.

    Jeudi 31 mai 2012 de 14h à 15h30

    Qu'est-ce qu'un algorithme ? Qu'est-ce qu'une fonction calculable ? Où en est-on aujourd'hui de ces deux questions posées par Turing dans son article fondateur de 1936 ?

    Nombre de places limité, inscrivez-vous !


    Auditorium IRCICA
    50, avenue Halley - Parc scientifique de la Haute Borne - Villeneuve d’Ascq

    • Plan d'accès
    • S'inscrire

     

Le Colloquium POLARIS, un partenariat :

  • INRIA, Centre de Recherche Lille - Nord Europe
  • Laboratoire d'Informatique Fondamentale de Lille
  • Laboratoire d'Automatique, Génie Informatique et Signal
  • © copyright 2010 – Colloquium POLARIS
  • Plan du site
  • Nous contacter
  • Mentions légales