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 -- https://www.vidal-rosset.net/Mailing_list_educasupphilo.html
