athena AT services.cnrs.fr

Subject: Histoire des techniques

List archive

[ATHENA] Séminaire Histoire et Philosophie de l'informatique, séance du 1 février à Lille

From: "ldemol" (liesbeth.demol AT univ-lille3.fr via athena Mailing List) <athena AT services.cnrs.fr>
To: theuth AT listes.univ-rennes1.fr, athena AT services.cnrs.fr, educasup.philo AT ml.free.fr
Subject: [ATHENA] Séminaire Histoire et Philosophie de l'informatique, séance du 1 février à Lille
Date: Mon, 23 Jan 2017 13:42:45 +0100
Authentication-results: t2gpsmtp1.dsi.cnrs.fr (amavisd-new); dkim=pass (1024-bit key) header.d=univ-lille3.fr

Chères collègues, chers collègues,

nous avons le plaisir de vous annoncer la deuxième séance du séminaire "Histoire et Philosophie de l'informatique", mercredi 1 février à 14h, la MESHS, 2 rue du Canonniers, Lille, Salle 001.

Le thème de cette séance est: "Logique et programmation" avec la participation de:

Simone Martini (INRIA/Department of Computer Science, University of Bologna)), /A Mathematical theory of computation?/

Myriam Quatrini (Institut des Mathématiques de Luminy, Université de la Méditerrannée ), /L’interaction, dans les preuves, les programmes, les dialogues./

Pour plus de détails, voir: http://calcul.hypotheses.org/programme-2016-2017

Responsables: Liesbeth De Mol (CNRS/STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université de Lille 3).

Le séminaire est financé par la MESHS (projet de partenariat, acronyme HEPI), par le projet ANR-DFG Beyond Logic et par les différent laboratoires impliqués.

Bien cordialement,
Alberto, Liesbeth, Maël, Shahid

[ATHENA] Séminaire Histoire et Philosophie de l'informatique, séance du 1 février à Lille, ldemol, 01/23/2017