Bonjour à tous,

A l'occasion de l'inauguration de l'équipe de recherche commune  *BRiCS* (
*B*lockchain *R*el*i*ability, se*C*urity and *S*calability)  entre  LIP6
(Sorbonne Université) et

CEA LIST, sur la thématique de la fiabilité, la sécurité et la scalabilité
des  blockchains, vous êtes cordialement invités à participer à la journée
"Blockchain de la Pratique à la Théorie" qui aura lieu le 19 juin à
Sorbonne Université, campus Pierre et Marie Curie, tour 25-26 salle 105.



Veuillez trouver ci-après l’agenda de la journée ainsi que le programme
détaillé en p.j.

Cette journée se déroule avec le soutien du Institut Interfaces Tremplin
Carnot Sorbonne Université.

Merci de vous inscrire gratuitement en suivant le lien
https://docs.google.com/forms/d/e/1FAIpQLSd-6qecgwJvSBB
EYsu6hRcisZz7-0YBNg6kg7g1Y_rXOGuCcQ/viewform



N’hésitez pas à diffuser aux personnes autour de vous susceptibles d’être
intéressées !



Bien cordialement,

Sara Tucci Piergiovanni (CEA-LIST)

Maria Potop-Butucaru (LIP6-NPA)





Agenda



9:15 – 9:30 Introduction à la journée

•     Présentation de l’Institut Interfaces Tremplin Carnot (sponsor de la
journée) -  Amal El Fallah

•     Présentation de l’équipe commune – Maria Potop Butucaru (LIP6) & Sara
Tucci Piergiovanni(CEA LIST)



9:30 – 10:15 Keynote

 -  Michel Raynal (IRISA) - «BLOCKCHAIN: Buzzword/Engineering/Science? (A
distributed computing point of view) »



10h15-11h30 Retex Industriels (1ère partie)

- Thierry Bedoin (Banque de France ) « Transformation Digitale et
Blockchain L’expérience de la Banque de France »

- Gilles Deleuze & Tesnim Abdellatif (EDF R&D) « Panorama des usages de la
Blockchain dans l’énergie »



11h15-11h30 Pause



11h30-13h Retex Industriels (2ème partie)

•   Sarah Boufelja  (Renault) - « BlockChain and Supply Chain: when the two
chains meet »

•   Yves-Marie Batany (Veolia) - «Un prototype industriel basée blockchain
pour des contrats de performance énergétique de confiances»

•   Fabrice Le Fessant (OCAML-PRO) - « 4 ans dans les blockchains, retour
d'expérience d'une entreprise »



13h-14h Buffet



14h-15h30 Présentation des travaux en cours  LIP6 -CEA LIST

•   Presentations de Onder Gurcan, Antonella del Pozzo, Zaynah Dargaye

•   Ma thèse en 5 mins





15h30-15h45 Pause



15h45-17h45 Ouverture sur les autres équipes LIP6

•   Matthieu Latapy (LIP6, Complex Networks) « Analyzing Bitcoin
Transactions as a link stream »

•   Fabrice Kordon (LIP6, MOVE) « Formal Verification of a logging service
based on DHT »

•   Amal El Fallah (LI6, SMA) «Apports mutuels des Systèmes Multi-Agents et
de la Blockchain»

•   Damien Vergnaud (LIP6, Almasty) « Cryptographic Tools for Blockchain »

•   Giovanni Pau (LIP6, NPA) « Beyond Crypto Currency: Applications of
Block Chains in Intelligent Transportation »

•   Emmanuel Chailloux (LIP6, APR) « Fiabilité logicielle : langages,
implantation et analyse de programme »

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs