Séminaire « Philosophie de l’informatique, de la logique et de leurs interfaces » 2011-2012

Philosophie de l’informatique, de la logique et de leurs interfaces

Séminaire de recherche
2011-2012

Coordination : Jean‐Baptiste Joinet

Salle de séminaire du Cirphles
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 :

• 30 janvier 2012 
  Gilles Dowek, Institut National de la Recherche en Informatique et Automatique (INRIA, Paris)
  « L’informatique dans la classification des sciences »  
   
• 13 février 2012
  Jean-Yves Girard, Équipe Logique de la programmation, Institut de mathématiques de Luminy (CNRS, univ. de la Méditerranée-­‐Marseille 2). ATTENTION : la séance aura lieu exceptionnellement SALLE DES ACTES.
  « La syntaxe transcendantale »   »
   
• 27 février 2012
  Alexandre Miquel, Laboratoire de l’informatique du parallélisme (CNRS-­‐ENS Lyon) et Preuves‐Programmes‐Systèmes (CNRS, Univ. Denis Diderot‐Paris 7)
  « La réalisabilité classique de Krivine : une sémantique alternative à la sémantique de Brouwer­‐Heyting-­Kolmogorov »
   
• 12 mars 2012
  Paul‐André Melliès, Preuves‐Programmes-­Systèmes (CNRS, Univ. Denis Diderot-­‐Paris 7)
  « Négation et symétries en théorie de la démonstration »
   
• 26 mars 2012
  Patrick Dehornoy, Laboratoire de mathématiques Nicolas Oresme (CNRS, Univ. de Caen) Institut Universitaire de France
  « La notion de vérité d’un axiome selon Woodin« 
   
• 2 avril 2012
  Luciano Floridi, Dep. of Philosophy of the Univ. of Hertfordshire (Grande-­Bretagne)
  « Grasping semantic information »  
   
• 7 mai 2012
  Jean-Baptiste Joinet, Centre international de recherche Philosophie­‐Lettres‐Savoirs (CNRS, ENS Paris) et Univ. Paris 1 (UFR de Philosophie)
  « Langages de programmation et axiomatiques de l’action »
   
• 21 mai 2012
  Pablo Arrighi, Univ. de Grenoble & Laboratoire d’informatique de Grenoble
  « L’universalité du calcul : un outil pour la physique théorique ? »  
   
• 4 juin 2012
  Damiano Mazza, Équipe Logique‐Calcul‐Raisonnement, Laboratoire d’Informatique de Paris Nord (LIPN, CNRS-­‐Université Paris 13, Paris-­Nord)
  « Vers une théorie extra-­fonctionnelle de la complexité calculatoire »
   
• 11 juin 2012
  Cristian Calude, University of Auckland (Nouvelle Zélande), Dep. of computer science
  « The concept of algorithmic randomness« 

Renseignements : Jean-Baptiste.Joinet@ens.fr