Colloque Ouvrir la logique au monde

Organised by: Giuseppe Longo (CNRS) et Thierry Paul (Ecole polytechnique) et Jean-Baptiste Joinet (univ. Paris I et univ. Paris VII-CNRS)

Colloque dans le cadre du Collectif Histoire Philosophie Sciences et du Séminaire Philosophie et Mathématique de l’ENS.

Presentation

Coordinaters

Jean-Baptiste_Joinet

Jean-Baptiste Joinet (univ. Paris I et univ. Paris VII-CNRS)

Université Paris 1 (Panthéon-Sorbonne) UFR de Philosophie
Équipe "Preuves-Programmes-Systèmes" UMR 7126, CNRS-Paris 7 UFR de mathématiques

Giuseppe_Longo

Giuseppe Longo (CNRS)

Équipe "Complexité et information morphologiques" (CIM), Laboratoire d’Informatique de l’ENS (LIENS).
Membre à temps partiel du CREA, Ecole Polytechnique.
Membre co-fondateur du CenECC, ENS.
Ancien responsable de l’équipe Langages, Types et Logique, LIENS.
Ancien Professeur ("Professore Ordinario") d’Informatique, Universita’ di Pisa.

Thierry_Paul

Thierry Paul (Ecole polytechnique)

Directeur de recherches.

transparent