athena AT services.cnrs.fr

Subject: Histoire des techniques

List archive

[Athena] Séminaire "Interactions entre informatique, logique et langage", 4ième séance, 22 Avril à STL (Lille)

From: Liesbeth De Mol <liesbeth.demol AT univ-lille3.fr>
To: "theuth AT listes.univ-rennes1.fr" <theuth AT listes.univ-rennes1.fr>, "athena AT services.cnrs.fr" <athena AT services.cnrs.fr>
Cc: Gilles Dowek <gilles.dowek AT inria.fr>, Shahid Rahman <shahid.rahman AT univ-lille3.fr>, Mark van Atten <vanattenmark AT gmail.com>, Alberto Naibo <Alberto.Naibo AT univ-paris1.fr>, Philippe Sabot <philippe.sabot AT univ-lille3.fr>, edgar Daylight <egdaylight AT yahoo.com>, Jacqueline Léon <jleon AT linguist.univ-paris-diderot.fr>
Subject: [Athena] Séminaire "Interactions entre informatique, logique et langage", 4ième séance, 22 Avril à STL (Lille)
Date: Wed, 15 Apr 2015 08:21:14 +0200
Authentication-results: t2gpsmtp1.dsi.cnrs.fr (amavisd-new); dkim=pass header.i= AT univ-lille3.fr

Cher.es collègues,

Nous avons le plaisir de vous annoncer la quatrième séance du séminaire "Interactions entre informatique, logique et langage: histoire et philosophie", Mercredi 22 Avril 2015 à 14h, STL, Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec les interventions suivantes:

Edgar Daylight (Universiteit Utrecht), Towards a Dutch Perspective on the Beginnings of Machine-Independent Programming

Jacqueline Léon (UMR7597, Histoire des Théories Linguistiques, Université Paris Diderot, Université Sorbonne Nouvelle, Sorbonne Paris Cité), Controverse entre Yehoshua Bar-Hillel et Margaret Masterman sur la formalisation du langage et la traduction automatique (1958-1960)

Résumés et programme détaillé sont consultable ici.

Organisateurs: Liesbeth De Mol (CNRS/STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Shahid Rahman (STL, Université de Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne)

Ce séminaire est en partenariat avec le séminaire "Histoire et Philosophie de l'Informatique : pratiques, concepts, méthodes" organisé à l'IHPST (Université Paris 1 Panthéon-Sorbonne, CNRS, ENS). Voir ici pour l'annonce.

cordialement,
Liesbeth.

[Athena] Séminaire "Interactions entre informatique, logique et langage", 4ième séance, 22 Avril à STL (Lille), Liesbeth De Mol, 04/15/2015