[ATHENA] Séance séminaire "Histoire et Philosophie de l'Informatique", 23 février

["Peggy Tessier" (peggy.tessier AT univ-paris1.fr via athena Mailing List) <athena AT services.cnrs.fr>]

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