Cirphles
�cole normale sup�rieure CNRS
> Centre Cavaillès > Activités > Séminaires et colloques antérieurs > Séminaires antérieurs > Séminaires 2012-2013 > Séminaire "Philosophie de l’informatique, de la logique et de leurs (...)

Séminaire "Philosophie de l’informatique, de la logique et de leurs interfaces" 2012-2013

27 mai 2013, Gérard Berry, "Parler du temps, du joli vague de la langue à la précision de l’informatique"

Séminaire coordonné par Jean-Baptiste Joinet

Lieu : Les séances ont lieu dans la salle de séminaire du Cirphles, au Département de philosophie de l’ENS, Pavillon Pasteur (au sous-­‐sol), 45 rue d’Ulm, 75005 Paris
Un lundi sur deux (approximativement), à 18h

Programme :

  • 4 février 2013 : Gilles Dowek (Institut National de la Recherche en Informatique et Automatique (INRIA, Paris), "Chaos et densité finie de l’information"
     
  • 18 février 2013 : Maël Pégny (Ecole Doctorale de Philosophie de l’université Paris 1 Panthéon-­Sorbonne & CEA-­‐Larsim) : "Le sens de la complexité. Physique quantique et difficulté du calcul"
     
  • 4 mars 2013 : Baptiste Mélès (Institut Henri Poincaré, Université de Lorraine, Nancy) : "Peut-­on classer les langages de programmation ?"
     
  • 18 mars 2013 : Jean-­Louis Giavitto IRCAM‐CNRS UMR 9912 STMS Music Representations Team : "Écriture du temps et de l’interaction en informatique musicale"
     
  • 15 avril 2013 : Franck Varenne (Université de Rouen et GEMASS (CNRS UMR 8598, Paris Sorbonne), "Une approche extensionnaliste des simulations informatiques multi-­aspects et/ou multi-­échelles
     
  • 13 mai 2013 : Hector Zenil (University of Sheffield (GB). Department of Computer Science), "Foundations of Finite Algorithmic Information Theory"
     
  • 27 mai 2013 : Gérard Berry (Collège de France, chaire « Algorithmes, machines et langages »), "Parler du temps, du joli vague de la langue à la précision de l’informatique "
     
  • 17 juin 2013 : séance à confirmer

Plus d’informations

  |   Contacts & Plans  |   Mentions légales  |   Plan du site  |   Suivre la vie du site RSS