Journée-séminaire de combinatoire
(équipe CALIN du LIPN, université Paris-Nord, Villetaneuse)
Le 13 décembre 2022 à 14h00 en B107,
Ikram Garfatta
nous parlera de :
Vérification formelle de processus dans la Blockchain (soutenance de thèse LIPN)
Dernière modification :
Saturday 17 May 2025
Contact pour cette page : Cyril.Banderier
at
lipn.univ-paris13.fr
