Réflexions sur processus de calcul, d’information et de programmation, Axe 1 Interactions entre informatique, logique et langage
Responsables: Liesbeth De Mol, Alberto Naibo, Shahid Rahman, Mark van Atten
27 Janvier 2016, 14h-17h
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS
David Nofre, Hidden structures: The early career of Saul Gorn and the making of computer science, 1950 – 1965
Alain Lecomte, L’interaction à la base du sens, ludique et langage naturel
25 Février 2016, 14h-15.35h
Lieu: Auditorium Ircica, Cité Scientifique, 50 avenue Halley à Villeneuve d’Ascq
Philippe Wadler (University of Edingburgh), Propositions as Types
16 Mars 2016, 14h-17h
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)
Felice Cardone (University of Torino), TBA
Jean Lassègue (Institut Marcel Mauss/EHESS), Mécanisme et écriture; les racines culturelles du calcul
27 Avril 2016, 16h-18h
Lieu: SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223
Teresa Numerico (Università degli Studi Roma Tre), Black box, memory and datification: a perspective on the origins of computer science
Paola Cantu (CEPERC, CNRS – Aix-Marseille Université), Algorithms and arguments: artificial intelligence and informal logic
18 Mai 2016, 14h-17h
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)
Jean-Paul Delahaye (Université de Lille 1), Les mesures numériques de la complexité
Johan Granström (Google Zürich), Identity in Intuitionistic Type Theory
15 Juin 2016, 14h-17h
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661)
Dale Miller (Inria/Saclay and Lix), TBA
Gérard Chazal (Université de Boulogne), La philosophie du langage au regard des techniques de l’informatique
Réflexions sur processus de calcul, d’information et de programmation, Axe 2 Histoire et Pratique de l’informatique
Responsable: Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS)
31 Mars, 16h-18h
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS (Salle de conférence)
Gérard Chazal (Université de Bourgogne), Les miroirs informatiques de l’humain – De la cybernétique aux sciences cognitives
14 Avril 2016, 16h-18h
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS (Salle de conférence)
Martin Schüle (ZHAW, Suisse), TBA
26 Mai, 16h-18h
Lieu: IHPST, Université Paris 1 Panthéon-Sorbonne, ENS, CNRS (Salle de conférence)
James Ladyman (University of Bristol), TBA