Nos tutelles

CNRS

Rechercher




Accueil du site > Séminaires > Séminaires du GHPS (2007-2012) > Année 2011-2012

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