athena AT services.cnrs.fr
Subject: Histoire des techniques
List archive
[ATHENA] Séance séminaire "Histoire et Philosophie de l'Informatique", 23 février
Chronological Thread
- From: "Peggy Tessier" (peggy.tessier AT univ-paris1.fr via athena Mailing List) <athena AT services.cnrs.fr>
- To: destinataires inconnus: ;
- Subject: [ATHENA] Séance séminaire "Histoire et Philosophie de l'Informatique", 23 février
- Date: Tue, 14 Feb 2017 14:16:16 +0100
Chères collègues, chers collègues,
nous avons le plaisir de vous annoncer la prochaine séance du
séminaire "Histoire et Philosophie de l'Informatique", jeudi 23
février à partir de 14h, à l'IHPST (13 rue du Four, Paris).
Le thème de cette séance est: "Ingénierie logicielle" avec la
participation de:
Nicola Angius (Università di Sassari), "From Simulative Programs as
Theories to Theories of Simulative Programs"
Tomas Petricek (University of Cambridge), "Monads are not what they seem"
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
Pégny (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,
Liesbeth de Mol, Alberto Naibo, Maël Pégny, Shahid Rahman
- [ATHENA] Séance séminaire "Histoire et Philosophie de l'Informatique", 23 février, Peggy Tessier, 02/14/2017
Archive powered by MHonArc 2.6.18.