> GHPS > Cours et séminaires > Séminaire "Philosophie de l’informatique, de la logique et de leurs (...)
Resp. Jean-Baptiste Joinet
21 mai 2012, Pablo Arrighi, "L’universalité du calcul : un outil pour la physique théorique ?"
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" (RÉSUMÉ)
- 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" (RÉSUMÉ)"
- 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" (RÉSUMÉ)
- 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 ?" (RÉSUMÉ)
- 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
RSS