Séminaire Histoire et Philosophie de l’Informatique
Responsables:
Liesbeth De Mol (CNRS, UMR 8163 STL Université de Lille 3)
Alberto Naibo ( (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS)
Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS)
Shahid Rahmann (UMR 8163 STL Université de Lille 3)
Séance 19 Janvier 2017, “Qu’est-ce qu’un calcul ?”
Lieu: IHPST, 13 rue du four, Paris, Salle des conférence, 14h-17h
Karine Chemla (CNRS/Sphère, Université de Paris 7, Paris), Des dimensions théoriques de la pratique des opérations arithmétiques
Serge Grigorieff, (Université de Paris 7, Paris), Genèse de la calculabilité
Séance 1 Février 2017, Logique et Programmation
Lieu: MESHS, 2 Rue des Canonniers, 59000 Lille, Salle 001, 14h-17h
Simone Martini (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,
Séance 23 Février 2017, Ingénierie logicielle
Lieu: IHPST, 13 rue du four, Paris, Salle des conférence, 14h-17h
Tomas Petricek, Computer lab, University of Cambridge, Angleterre
Nicola Angius, Department of History, Human sciences, and education, Università de Sassari Università de Sassari, Italie
Séance 8 Mars 2017, Calculs analogiques
Lieu: MESHS, 2 Rue des Canonniers, 59000 Lille, Salle 001, 13.30h-18h
Olivier Bournez, Continuous Time Models of computation, Lix, Ecole Polytechnique
Marie-José Durand-Richard, Douglas R. Hartree (1897-1958) et la résolution des équations différentielles par machine : méthodes analogiques et digitales, Sphère, Université de Paris 7
Ulf Hashagen, Analog computing as a failed modernization program in Germany 1930-1960. Deutches Museum, Munich, Allemagne
Séance 16 Mars 2017, Logique et Informatique
Lieu: IHPST, 13 rue du four, Paris, Salle des conférence, 14h-17h
Peter Schröder-Heister, Wilhelm-Schickard-Institut, Universität Tübingen
Franscesca Poggiolesi, IHPST, Université Paris 1 Panthéon-Sorbonne,
Séance 5 Avril 2017, Informatique et Linguistique
Lieu: MESHS, 2 Rue des Canonniers, 59000 Lille, Salle 001, 14h-17h
Geoffrey Pullum, School of Philosophy, Psychology and Language Sciences, University of Edinburg
Christoper Pinon, Savoirs, Textes, Langage, Universié de Lille 3
Séance 27 Avril 2017, Problèmes de Simulation
Lieu: IHPST, 13 rue du four, Paris, Salle des conférence, 14h-17h
Roman Frigg, London school of Economics, Londres
Julie Jebeile, IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS, Paris
Séance de 18 Mai 2017, “Qu’est-ce que l’informatique ?”
Lieu: IHPST, 13 rue du four, Paris, Salle des conférence, 14h-16h
Matti Tedre, Department for Computer Science, Stockholm University
Séance 25 Mai 2017, Fondements mathématiques de l’informatique, MESHS/CRIStAL, Lille
Wilfried Sieg, Department of Philosophy, Carnegie Mellon
La séance avec Wilfried Sieg sera reporté à une autre date (26 Octobre 2017)
Séance 7 Juin 2016, Complexité I
Lieu: MESHS, 2 Rue des Canonniers, 59000 Lille, Salle 001, 14h-17h
Walter Dean, Department of Philosophy, University of Warwick
Séance 22 Juin 2016, Complexité II
Lieu: IHPST, 13 rue du four, Paris, Salle des conférence, 14h-15h30
Hervé Zwirn, IHPST/Université de Paris 7