Lieu: IHPST, 13 rue du Four, Paris
Nous avons le plaisir de vous annoncer la prochaîne séance du séminaire “Histoire et Philosophie de l’Informatique”, jeudi 23 Février juin 2016 à partir de 14h, IHPST, Paris avec la participation de Nicola Angius et Tomas Petricek. Continuer la lecture de Séance de 23 février
Les slides des exposés de la séance du 1 février 2017 sont maintenant disponible:
Simone Martini (INRIA/Department of Computer Science, University of Bologna), A Mathematical theory of computation?
Myriam Quatrini (Institut des Mathématiques de Luminy, Université de la Méditerrannée ), L’interaction, dans les preuves, les programmes, les dialogues.
