Titre : La blockchain: histoire, fonctionnement et applications de rupture 

Oratrice : Zaynah Dargaye (CEA-List)

Abstract : 

Du buzz aux promesses industrielles, la blockchain est associée à une rupture sociétale et économique. Lourd à porter pour une structure de données! 
Dans cette présentation, nous décrirons comment les méthodes formelles peuvent permettre à la blockchain de réaliser ses promesses.