* [Caml-list] Invitation Journée 19 Juin "Blockchain de la pratique à la théorie"
@ 2018-05-24 8:20 zaynah dargaye
0 siblings, 0 replies; 2+ messages in thread
From: zaynah dargaye @ 2018-05-24 8:20 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 3390 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 16116 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Caml-list] Invitation Journée 19 Juin "Blockchain de la pratique à la théorie"
@ 2018-06-01 21:30 zaynah dargaye
0 siblings, 0 replies; 2+ messages in thread
From: zaynah dargaye @ 2018-06-01 21:30 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 3390 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 14706 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2018-06-01 21:30 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-05-24 8:20 [Caml-list] Invitation Journée 19 Juin "Blockchain de la pratique à la théorie" zaynah dargaye
2018-06-01 21:30 zaynah dargaye
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).