le 18 mai 2016 à 13:00
Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661) de 14 h à 17 h
Jean-Paul Delahaye, (Université de Lille 1), TBA, http://www.lifl.fr/~jdelahay/
Johan Granström, (Google Zürich), http://research.google.com/pubs/JohanGranstrom.html, Identity in Intuitionistic Type Theory.
C’est avec plaisir que nous annonçons le séminaire : “Réflexions sur les processus de calcul, d’information et de programmation”. Ce séminaire est né d’un projet commun entre différentes équipes de recherche. Il a pour objet l’étude historico-philosophique de l’informatique et de ses pratiques.
Le séminaire est centré autour de deux axes de recherche, chacun d’entre eux donnant lieu à une série de séances spécifiques. Le premier axe, intitulé “Interactions entre logique, calcul et linguistique: histoire et philosophie”, analyse l’informatique comme lieu de connexion entre différentes disciplines, particulièrement la logique, les mathématiques et la linguistique. Le deuxième axe, intitulé “Pratique de l’informatique: histoire et philosophie”, étudie l’informatique comme discipline à part entière, essayant notamment d’identifier son domaine d’étude propre par l’analyse de ses pratiques.
Responsables: Liesbeth De Mol (CNRS/STL, Université de Lille 3), Pierre Mounier-Kuhn (CNRS, Centre Roland Mousnier, Université Paris Sorbonne), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Shahid Rahman (STL, Université de Lille 3), Mark van Atten (CNRS/SND, Université Paris-Sorbonne).
Les équipes impliquées dans le séminaire sont:
Les deux axes sont :
AXE 1 : INTERACTIONS ENTRE LOGIQUE, CALCUL ET LINGUISTIQUE (http://calcul.hypotheses.org/axe1)
AXE 2 : HISTOIRE ET PHILOSOPHIE DE L’INFORMATIQUE (http://calcul.hypotheses.org/axe-2-histoire-et-philosophie-de-linformatique)
français
English