Le calcul et le temps

Organisation

Colloque coordonné par Jean-Baptiste Joinet

Institut de Recherches Philosophiques de Lyon (IRPhiL)
 

Programme du colloque

• 9h30 Jean-Baptiste JOINET, IRPhiL (EA 4187, Université Jean Moulin - Lyon 3) & Centre Cavaillès (USR 3608, CNRS-ENS Paris-Collège de france)
  Ouverture du colloque. Le calcul ou le temps morcelé
• 10h30 Gérard BERRY, Collège de France, chaire Algorithmes, Machines et Langages
  L’informatique du temps et des événements
• 11h45 Damiano MAZZA, Laboratoire d’Informatique de Paris Nord
  Calcul non-uniforme et ordre supérieur
• 14h30 Liesbeth DE MOL, Laboratoire “Savoirs, Textes, Langage” CNRS-Univ. de Lille 3
  Expérience(s) du temps en informatique
• 15h30 Patrick BAILLOT, Laboratoire Informatique du Parallélisme, CNRS-ENS Lyon
  Systèmes de types, cryptographie et complexité en temps
• 16h45 Baptiste MELÈS, Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré, CNRS - Univ de Lorraine Nancy 2
  Espace et temps informatiques : l'Esthétique transcendantale de Kant à l'épreuve de la complexité algorithmique

Vendredi 7 novembre 2014

• 9h30 Pablo ARRIGHI, Professeur à l’Université d’Aix-Marseille
  Relativité restreinte et automates cellulaires
• 10h30 Maël PÉGNY, Institut d’Histoire et de Philosophie des Sciences et des Techniques (CNRS-Université Paris 1- ENS Paris)
  Les ressources dans les modèles non-standard
• 11h45 Gilles DOWEK, Inria, Deducteam
  Les nombres réels, le chaos & le principe de densité finie de l’information
• 14h30 Pierre LESCANNE, Labo. de l’Informatique du Parallélisme, CNRS-ENS Lyon
  Temps infini et phénomène d'escalade
• 15h30 Jean-Louis GIAVITTO, Laboratoire STMS, CNRS-IRCAM Université Pierre et Marie Curie (Paris 6) et INRIA Mutant
  Accorder le temps de l'homme et le temps de la machine
• 16h30 Maarten BULLYNCK, Université Paris 8, Laboratoire SPHERE (CNRS-Univ. Denis Diderot Paris 7)
  Echelles de temps dans la pratique mathématique et informatique

Entrée libre et ouverte à tous dans la limite des places disponibles.

Contact IRPhiL :
Nazaré Marques
IRPhiL EA 4187 - Institut de Recherches Philosophiques de Lyon
18 rue Chevreul - 69007 Lyon
Tél. : 04 78 78 73 94 - Fax : 04 78 78 72 27
nazare.marques@univ-lyon3.fr