Programme 2015-2016

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