Interactions entre logique, calcul et linguistique - Première séance de l'axe 1

le 27 janvier 2016 à 14:00

Intervenant : David NOFRE et Alain LECOMTE

Lieu : Université Paris 1 Panthéon-Sorbonne, ENS de 14 h à 17 h

Première séance de l’axe 1 “Interactions entre logique, calcul et linguistique” du séminaire “Réflexions sur les processus de calcul, d’information et de programmation”. Mercredi 27 Janvier à 14h, IHPST, 13 rue du Four (2ème étage), Université Paris 1 Panthéon-Sorbonne, ENS, avec la participation de David Nofre et Alain Lecomte.

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 :

Faits marquants