[ATHENA] Prochaine séance séminaire HEPIC - 29 janvier 2020

[Alberto Naibo <Alberto.Naibo AT univ-paris1.fr>]

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



nous avons le plaisir de vous annoncer la prochaine séance parisienne du séminaire "Histoire et Philosophie de l'Informatique et du Calcul" (HEPIC), qui portera sur le thème "Calcul, non-déterminisme, concurrence".

Elle se tiendra le mercredi 29 janvier à partir de 14h00, dans la salle de conférences de l’IHPST (13 rue du Four, Paris), en présence de: 


Valeria Vignudelli (ENS Lyon, PLUME), "Program equivalence in concurrency theory"

Francesco Genco (Univ. Paris 1, IHPST), "Proofs-as-programs correspondances: constructivity and non-constructivity, determinism and non-determinism"



Pour plus d'informations et pour le programme détaillé du séminaire, voir: https://calcul.hypotheses.org/programme-2019-2020

Responsables: Liesbeth de Mol (CNRS, UMR 8163 STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne), Maël Pegny (Université de Lorraine, Nancy).



Le séminaire est en partenariat avec l'UMR 8590 IHPST (http://www.ihpst.cnrs.fr/), l'UMR 8163 Savoirs, Textes, Langage (https://stl.univ-lille.fr/), l'ANR PROGRAMme (https://programme.hypotheses.org/) et la plateforme DATA de la MESHS (projet HEPIC, https://www.meshs.fr/page/hepic).

Bien cordialement,
Alberto Naibo