Ressources numériques en sciences humaines et sociales OpenEdition Nos plateformes OpenEdition Books OpenEdition Journals Hypothèses Calenda Bibliothèques OpenEdition Freemium Suivez-nous

Programme 2014-2015

Séminaire Interactions entre Informatique, logique et langage: Histoire et Philosophie 2014-2015

Responsables: Liesbeth De Mol, Alberto Naibo, Shahid Rahman, Mark van Atten

Mercredi 21 Janvier 2015, 14h-17h
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Giuseppe Primiero (Middlesex University), Software Theory Change
Yonathan Ginzburg (Université de Paris VII), Quotation, Diagonalization, and Dialogue

Mercredi 25 Février 2015, 14h-17h
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Pierre Mounier-Kuhn (CNRS, Paris 1 et Centre Koyré), Logique et informatique: filiation ou rencontre?
Amirouche Moktefi (Tallinn University of Technology), A Boolean legacy: the problem of elimination in the algebra of logic

Lundi 9 Mars, 2015, 14h-17h
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Jean-Baptiste Joinet (Université Jean Moulin Lyon 3), A déterminer
Baptiste Mélès (CNRS, Archives Henri Poincaré), Réseaux informatiques et logique dialogique

Mercredi 22 Avril, 2015, 14h-17h
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Jacqueline Léon (CNRS, HTL, Laboratoire d’histoire des théories linguistiques, Université de Paris VII), Controverse entre Yehoshua Bar-Hillel et Margaret Masterman sur la formalisation du langage et la traduction automatique (1958-1960)
Edgar Daylight (Utrecht University), Towards a Dutch Perspective on the Beginnings of Machine-Independent Programming

Vendredi 15 mai, 2015, 14h-18h
Lieu: SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223

Göran Sundholm (Universiteit Leiden), A déterminer
Per Martin-Löf (Stockholm Univiversity), A déterminer

Mercredi 17 Juin, 2015, 14h-17h
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)

Mark Priestley (UCL), “Visualizing computation”: from the differential analyzer to the flow diagram, by way of some little known ENIAC drawings.
Maarten Bullynck (Université de Paris VIII), Excavating the roots of the Chomsky-hierarchy: Computational and linguistic practices at MIT before 1963

Séminaire Histoire et Philosophie de l’Informatique 2014-2015

Responsables: Maël Pegny, Baptiste Mélès, Pierre-Eric Mounier-Kuhn

Thursday 15 January 2015 – 16:15 to 18:15
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Edgar Daylight, From the Pluralistic Past to the Pluralistic Present in Programming.

Thursday 12 February 2015 – 16:15 to 18:15
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Mark Priestley,

Thursday 12 March 2015 – 16:15 to 18:15
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Giuseppe Primiero, Computer Science as Abstraction and Control.

Tuesday 17 March 2015 – 16:15 to 18:15
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Russ Abbott, Abstractions and implementations: a computer science perspective on emergence, causality, and multi-level autonomy

Thursday 23 April 2015 – 16:15 to 18:15
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Gilles Dowek, Sur la vérité des énoncés en informatique.

Thursday 28 May 2015 – 16:15 to 18:15
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Gérard Berry, Le traitement du temps et des événements: de la physique à l’informatique

Thursday 11 June 2015 – 16:15 to 18:15
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS

Franck Varenne, L’informatique entre émulation et simulation.