athena AT services.cnrs.fr
Objet : Histoire des techniques
Archives de la liste
[ATHENA] ANNULATION: Colloque Formalization of proofs/Formalization of programs, 18-19 décembre Paris
Chronologique Discussions
- From: lidemol <liesbeth.de-mol AT univ-lille.fr>
- Cc: Marco Panza <panzam10 AT gmail.com>, Alberto Naibo <Alberto.Naibo AT univ-paris1.fr>, Gerhard Heinzmann <gerhard.heinzmann AT univ-lorraine.fr>, maël P <maelpegny AT gmail.com>
- Subject: [ATHENA] ANNULATION: Colloque Formalization of proofs/Formalization of programs, 18-19 décembre Paris
- Date: Sat, 14 Dec 2019 13:11:02 +0100
Chères et chers collègues,
j'ai le regret de vous informer que à cause des mouvements sociaux, le colloque Formalization of proofs/Formalization of programs du 18-19 décembre, Paris a été annulé et réporté à une date ultérieure,
au nom du comité d'organisation,
Liesbeth De Mol
- [ATHENA] ANNULATION: Colloque Formalization of proofs/Formalization of programs, 18-19 décembre Paris, lidemol, 14/12/2019
Archives gérées par MHonArc 2.6.19.