Séminaire Algorythms

Nous avons le plaisir de vous inviter à une nouvelle séance du cycle de rencontres « Algorythms », organisé dans le cadre du projet Algorithms: a Formalisation and its Impact (AlgoFormI), financé par la Mission Interdisciplinaire (MITI) du CNRS et porté conjointement par le LIPN (UMR 7030) et l'IHPST (UMR 8590).

Cette séance est organisée par Alberto Naibo (Univ. Paris 1, IHPST, UMR 8590) et Thomas Seiller (CNRS, LIPN, UMR 7030).

Programme