From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id AAD195D5 for ; Fri, 1 Jun 2018 21:30:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,467,1520895600"; d="scan'208,217";a="329955562" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jun 2018 23:30:50 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4CA748244C; Fri, 1 Jun 2018 23:30:50 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2E34B82416 for ; Fri, 1 Jun 2018 23:30:42 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=zaydargaye@gmail.com; spf=Pass smtp.mailfrom=zaydargaye@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f41.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AyzFpuxN6IW3q0Lq32wkl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfryrarrMEGX3/hxlliBBdydt6oZzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlIiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr8zRDqi8rxrSAf2hy?= =?us-ascii?q?gbKz43/mbXislqg6JaphKquhhzzoHQbY2QMvd1Y6HTcs4ARWdZXshfWS9PDJ6i?= =?us-ascii?q?YYQTFOcOJ/pUopPnqlcSsRezBw+hD/7vxD9SgX/22LU30uU7HgDG2gwvBdIOu2?= =?us-ascii?q?nJo9rvLqcSXvq6zanWwj7eaP5X2C3y6YjVfR87u/GMUqh/cMrPxkQ0GAPFi0+f?= =?us-ascii?q?qY3hPz+PyusNtG2b4vNmWOmyhWAnrARxrSKuxscqkoTJiYUVylfL9SV93ok5P8?= =?us-ascii?q?G3SEl+YdOiDZBetDmaOpN0T84tWW1kpTg2x70ctZO4YiQG0psqywPZZveaaYaH?= =?us-ascii?q?+AjjW/yUITpghHJqZra/hxGq/Eil0OL8V8203E9ErypAjtXAr34N2hPO5sSdRf?= =?us-ascii?q?t9+UCh2TmL1w/N8O1LPUc0la/DJ54gxL4/iIYTvFzBEyL5gkn6kbGae0U+9uWr?= =?us-ascii?q?9ejreLrrqoKEO49xkA7+M6AumsKlAeQ/NwgDR2ma9v681bL+50L5WrpKgec2k6?= =?us-ascii?q?bHq53aKsEbqbS4Aw9RyIos9xG/DzK+3NQCgXYHNE5FeA6Aj4XxJ17BOvX4DfOm?= =?us-ascii?q?j1SokTdr3OzGM6b6ApTNK3jDiK3ucax8605a0gozzMpQ64haCrEbc7rPXRr6vd?= =?us-ascii?q?ncSxs4KBCcwuD9Cdw72JlNd3iIB/qLObLUuF/A6us1LOCdacdBqj/sJ/E/6Pf/?= =?us-ascii?q?gFc2nFYcee+i2p5BOyPwJehvP0jMOSmkudwGC2pf4ltnHb7azWaaWDsWXE6cGq?= =?us-ascii?q?c15zU1EoWjVN6RSYWkgbjH1yC+TMQPOjJ2T2uUGHKtTL2qHu8WYXvLcMBkmz0A?= =?us-ascii?q?E7OmTt15jEz8hErB07Nia9Hs1GgYuJbkjoUn4uTSkVQt8GQxAZjElW6KSG5wky?= =?us-ascii?q?UDQDpkhK0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BvAwDFuRFbhilSfUpcHgEGDIJOgRk+f?= =?us-ascii?q?yiDOD+BHYJQkH6KdI1IAQsFIIRHggcZBwEENBQBAgEBAQEBAQEBARMBAQEICws?= =?us-ascii?q?IKCMMgjUMgnoXHQEbHgMSAw03AiQBEQEFAYNXAoFmAQMVD4sljGWDHjyLCIF/B?= =?us-ascii?q?QEXgnAFg0gKGSYNVVeBYAIBBRKGJQRZAYEqgVQ/gQ+GHgKCDYJTglQCmGwJhWy?= =?us-ascii?q?IdY0VhgODcIcXDyGBN1SBH3BQMYISgXAkGoNOilQ9MI9oAQE?= X-IPAS-Result: =?us-ascii?q?A0BvAwDFuRFbhilSfUpcHgEGDIJOgRk+fyiDOD+BHYJQkH6?= =?us-ascii?q?KdI1IAQsFIIRHggcZBwEENBQBAgEBAQEBAQEBARMBAQEICwsIKCMMgjUMgnoXH?= =?us-ascii?q?QEbHgMSAw03AiQBEQEFAYNXAoFmAQMVD4sljGWDHjyLCIF/BQEXgnAFg0gKGSY?= =?us-ascii?q?NVVeBYAIBBRKGJQRZAYEqgVQ/gQ+GHgKCDYJTglQCmGwJhWyIdY0VhgODcIcXD?= =?us-ascii?q?yGBN1SBH3BQMYISgXAkGoNOilQ9MI9oAQE?= X-IronPort-AV: E=Sophos;i="5.49,467,1520895600"; d="scan'208,217";a="329955515" Received: from mail-wm0-f41.google.com ([74.125.82.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Jun 2018 23:30:41 +0200 Received: by mail-wm0-f41.google.com with SMTP id q4-v6so7823047wmq.1 for ; Fri, 01 Jun 2018 14:30:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=FBZz1Pay6N9KgwiSTqO0HZehUUrEaUzczGbtQxsqtoA=; b=QKABeJF2kP9vZ9zMhoaFVoU4j0bFIC/7QpX29hL+Q4O3qNTGCNnWLFZs7imJt4Hg9D 5cMum6NYJH1NtRW75dJyAaSYjkEwc1R+dAUnHGeae72+5tCfEUj/mIl1pMzKuxD3sAxx h/TijlWrLlupaCu2X+/HPHcijSl+GsJyTgxB3sE2L1GFuD54x65tS/tGVOrlvt6x07Qh KA2ADtUEkFl1ozgYnnBbIaAsUPTBG/dmYV3Qcfyrc1uKp8YNUZKn3QCNt2GEcaTF72LO WqwEaXVuUI4L0Nk0FftPInbC+3vZaeVLBpmgjXLNSwF+kZLfLdr3fff6QzfD2NUHMDt4 FCBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=FBZz1Pay6N9KgwiSTqO0HZehUUrEaUzczGbtQxsqtoA=; b=oLwqL6gwEwfYFC4cvCat2G9oKPzRTa0QsNGSS2CkKvWTv+6/AY+MGJqWMWX6nJ6EyO d3H3v7adSmwI6l/5iiWcVbeMKcWFZf2J8e2vTXYSV7xH5FUdoHSmOZAEpDZyMtyN5waC NvkvOT98ET3P/6pUhrujNgzc+QCs71r1VO6c8LKEpY7O4oLvqcin7oQaKjKfVll/kAWQ jQRv0MKDVp6pF9Pww01dZ4yEKHR3u3Nys83W1NjAvAIvljrit8H5nrWw+et1x/U1QTCf 4WILMzolfEvRH5IdkB3lxe0cqewkPKNBcONjtyPIoFN2C0fgI1T0DjyJdmDjPg0s0L+x 7zeg== X-Gm-Message-State: APt69E2DTnn4F2FMtzF/sGv/E8jb4RX9w3AYWnWPu/aSo26cPTV0SdAl oBbbDgejKA5I3iVju+M6lNnbfznrnILFKWkwyx7Kpw== X-Google-Smtp-Source: ADUXVKJ6rdHtES93vrnxKBLmIeITHAcaceIb8XlnQeaBL4o692GFj0wsH0c6DiNAW4tkxLv3JCmDn+bTzIIfzq2Fkic= X-Received: by 2002:a1c:88c9:: with SMTP id k192-v6mr352824wmd.125.1527888640962; Fri, 01 Jun 2018 14:30:40 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:adf:ac55:0:0:0:0:0 with HTTP; Fri, 1 Jun 2018 14:30:40 -0700 (PDT) From: zaynah dargaye Date: Fri, 1 Jun 2018 23:30:40 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000b377fa056d9b4b2c" Subject: [Caml-list] =?UTF-8?Q?Invitation_Journ=C3=A9e_19_Juin_=22Blockcha?= =?UTF-8?Q?in_de_la_pratique_=C3=A0_la_th=C3=A9orie=22?= Reply-To: zaynah dargaye X-Loop: caml-list@inria.fr X-Sequence: 16920 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000b377fa056d9b4b2c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Bonjour =C3=A0 tous, A l'occasion de l'inauguration de l'=C3=A9quipe de recherche commune *BRiC= S* ( *B*lockchain *R*el*i*ability, se*C*urity and *S*calability) entre LIP6 (Sorbonne Universit=C3=A9) et CEA LIST, sur la th=C3=A9matique de la fiabilit=C3=A9, la s=C3=A9curit=C3= =A9 et la scalabilit=C3=A9 des blockchains, vous =C3=AAtes cordialement invit=C3=A9s =C3=A0 participe= r =C3=A0 la journ=C3=A9e "Blockchain de la Pratique =C3=A0 la Th=C3=A9orie" qui aura lieu le 19 juin= =C3=A0 Sorbonne Universit=C3=A9, campus Pierre et Marie Curie, tour 25-26 salle 10= 5. Veuillez trouver ci-apr=C3=A8s l=E2=80=99agenda de la journ=C3=A9e ainsi qu= e le programme d=C3=A9taill=C3=A9 en p.j. Cette journ=C3=A9e se d=C3=A9roule avec le soutien du Institut Interfaces T= remplin Carnot Sorbonne Universit=C3=A9. Merci de vous inscrire gratuitement en suivant le lien https://docs.google.com/forms/d/e/1FAIpQLSd-6qecgwJvSBB EYsu6hRcisZz7-0YBNg6kg7g1Y_rXOGuCcQ/viewform N=E2=80=99h=C3=A9sitez pas =C3=A0 diffuser aux personnes autour de vous sus= ceptibles d=E2=80=99=C3=AAtre int=C3=A9ress=C3=A9es ! Bien cordialement, Sara Tucci Piergiovanni (CEA-LIST) Maria Potop-Butucaru (LIP6-NPA) Agenda 9:15 =E2=80=93 9:30 Introduction =C3=A0 la journ=C3=A9e =E2=80=A2 Pr=C3=A9sentation de l=E2=80=99Institut Interfaces Tremplin C= arnot (sponsor de la journ=C3=A9e) - Amal El Fallah =E2=80=A2 Pr=C3=A9sentation de l=E2=80=99=C3=A9quipe commune =E2=80=93 = Maria Potop Butucaru (LIP6) & Sara Tucci Piergiovanni(CEA LIST) 9:30 =E2=80=93 10:15 Keynote - Michel Raynal (IRISA) - =C2=ABBLOCKCHAIN: Buzzword/Engineering/Science?= (A distributed computing point of view) =C2=BB 10h15-11h30 Retex Industriels (1=C3=A8re partie) - Thierry Bedoin (Banque de France ) =C2=AB Transformation Digitale et Blockchain L=E2=80=99exp=C3=A9rience de la Banque de France =C2=BB - Gilles Deleuze & Tesnim Abdellatif (EDF R&D) =C2=AB Panorama des usages d= e la Blockchain dans l=E2=80=99=C3=A9nergie =C2=BB 11h15-11h30 Pause 11h30-13h Retex Industriels (2=C3=A8me partie) =E2=80=A2 Sarah Boufelja (Renault) - =C2=AB BlockChain and Supply Chain:= when the two chains meet =C2=BB =E2=80=A2 Yves-Marie Batany (Veolia) - =C2=ABUn prototype industriel bas= =C3=A9e blockchain pour des contrats de performance =C3=A9nerg=C3=A9tique de confiances=C2=BB =E2=80=A2 Fabrice Le Fessant (OCAML-PRO) - =C2=AB 4 ans dans les blockcha= ins, retour d'exp=C3=A9rience d'une entreprise =C2=BB 13h-14h Buffet 14h-15h30 Pr=C3=A9sentation des travaux en cours LIP6 -CEA LIST =E2=80=A2 Presentations de Onder Gurcan, Antonella del Pozzo, Zaynah Darg= aye =E2=80=A2 Ma th=C3=A8se en 5 mins 15h30-15h45 Pause 15h45-17h45 Ouverture sur les autres =C3=A9quipes LIP6 =E2=80=A2 Matthieu Latapy (LIP6, Complex Networks) =C2=AB Analyzing Bitco= in Transactions as a link stream =C2=BB =E2=80=A2 Fabrice Kordon (LIP6, MOVE) =C2=AB Formal Verification of a log= ging service based on DHT =C2=BB =E2=80=A2 Amal El Fallah (LI6, SMA) =C2=ABApports mutuels des Syst=C3=A8m= es Multi-Agents et de la Blockchain=C2=BB =E2=80=A2 Damien Vergnaud (LIP6, Almasty) =C2=AB Cryptographic Tools for = Blockchain =C2=BB =E2=80=A2 Giovanni Pau (LIP6, NPA) =C2=AB Beyond Crypto Currency: Applica= tions of Block Chains in Intelligent Transportation =C2=BB =E2=80=A2 Emmanuel Chailloux (LIP6, APR) =C2=AB Fiabilit=C3=A9 logicielle= : langages, implantation et analyse de programme =C2=BB --=20 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= --000000000000b377fa056d9b4b2c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Bonjour =C3=A0 tous,

<= span style=3D"font-size:9.5pt;font-family:"Arial",sans-serif;colo= r:rgb(34,34,34)">A l'occasion de l'inauguration de l'=C3=A9quip= e de recherche commune=C2=A0=C2=A0BRiC= S=C2=A0(Blockchain=C2=A0Reliability, seCurity and=C2=A0Scalability)=C2=A0=C2=A0entre =C2=A0LIP6 (= Sorbonne Universit=C3=A9) et

CEA LIST, sur la th=C3=A9matique=C2=A0de la fiabilit=C3=A9, la s=C3=A9curit=C3= =A9 et la scalabilit=C3=A9=20 des=C2=A0 blockchains, vous =C3=AAtes cordialement invit=C3=A9s =C3=A0 part= iciper =C3=A0 la journ=C3=A9e "Blockchain de la Pratique =C3=A0 la Th=C3=A9o= rie" qui aura lieu le=20 19 juin =C3=A0 Sorbonne Universit=C3=A9, campus Pierre et Marie Curie, tour= 25-26=20 salle 105.

=C2=A0

Veuillez trouver ci-apr=C3=A8s l=E2=80=99agenda de = la journ=C3=A9e ainsi que le programme d=C3=A9taill=C3=A9 en p.j.=

Cette journ=C3=A9e se d=C3=A9roule avec le soutien = du Institut Interfaces Tremplin Carnot Sorbonne Universit=C3=A9.=C2=A0

Merci de vous inscrire gratuitement en suivant le lien=C2=A0https://docs.google.com/forms/d= /e/1FAIpQLSd-6qecgwJvSBBEYsu6hRcisZz7-0YBNg6kg7g1Y_rXOGuCcQ/viewf= orm

=C2=A0

N=E2=80=99h=C3=A9sitez pas =C3=A0 diffuser aux pers= onnes autour de vous susceptibles d=E2=80=99=C3=AAtre int=C3=A9ress=C3=A9es= =C2=A0!

=C2=A0<= /span>

Bien cordialement,=C2=A0

Sara Tucci Piergiovanni (CEA-LIST)=

Maria Potop-Butucaru (LIP6-NPA)=C2=A0=

=C2=A0

=C2=A0

Agenda

=C2=A0

9:15 =E2=80=93 9:30=C2=A0I= ntroduction =C3=A0 la journ=C3=A9e

=E2=80=A2=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Pr=C3=A9sentation de l=E2=80=99Institut Interfaces Tremplin Carnot (sponsor de la journ=C3= =A9e) -=C2=A0 Amal El Fallah=C2=A0=

=E2=80=A2=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Pr=C3=A9sentation de l=E2=80=99=C3=A9quipe commune =E2=80=93 Maria Potop Butucaru (LIP6) &am= p; Sara Tucci Piergiovanni(CEA LIST)

=C2=A0

9:30 =E2=80= =93 10:15 Keynote=C2=A0<= /u>

=C2=A0-=C2= =A0 Michel Raynal (IRISA) - =C2=ABBLOCKCHAIN: Buzzword/Engineering/Science?= (A distributed computing point of view) =C2=BB=

=C2=A0

10h15-11h30= Retex Industriels (1=C3=A8re partie)

- Thierry Bedoin (Banque d= e France=C2=A0) =C2=AB=C2=A0Transformation Digitale et Blockchain=C2=A0L=E2= =80=99exp=C3=A9rience de la Banque de France=C2=A0=C2=BB

- Gilles Deleuze=C2=A0&= ; Tesnim Abdellatif (EDF R&D) =C2=AB=C2=A0Panorama des usages de la Blo= ckchain dans l=E2=80=99=C3=A9nergie=C2=A0=C2=BB=

=C2=A0

11h15-11h30 Pause

=C2=A0

11h30-13h Retex Industriel= s (2=C3=A8me partie)

=E2=80=A2= =C2=A0=C2=A0=C2=A0Sarah Boufelja=C2=A0 (Renault) - =C2=AB=C2=A0BlockChain and Supply Chain: when t= he two chains meet =C2=BB

=E2=80=A2=C2=A0=C2=A0=C2=A0Yves-Marie Batany (Veolia) - =C2=ABUn prototype industriel bas=C3=A9e blockchain=C2= =A0 pour des contrats de performance =C3=A9nerg=C3=A9tique de confiances=C2= =BB

=E2=80=A2=C2=A0=C2=A0=C2=A0Fabrice Le Fessant (OCAML-PRO) - =C2=AB=C2=A04 ans dans les blockchains, retour d&= #39;exp=C3=A9rience d'une entreprise=C2=A0=C2=BB

=C2=A0

13h-14h Buffet

=C2=A0

14h-15h30 Pr=C3=A9sentatio= n des travaux en cours=C2=A0 LIP6 -CEA LIST

=E2=80=A2=C2=A0=C2=A0=C2=A0Presentations de Onder Gurcan, Antonella del Pozzo, Zaynah Dargaye<= /span>

=E2=80=A2=C2=A0=C2=A0=C2=A0Ma th=C3=A8se en 5 mins

=C2=A0

=C2=A0

15h30-15h45 Pause

=C2=A0

15h45-17h45 Ouverture sur = les autres =C3=A9quipes LIP6

=E2=80=A2= =C2=A0=C2=A0=C2=A0Matthieu Latapy (LIP6, Complex Networks) =C2=AB=C2=A0Analyzing Bitcoin Transactions= as a link stream=C2=A0=C2=BB

=E2=80=A2= =C2=A0=C2=A0=C2=A0Fabrice Kordon (LIP6, MOVE) =C2=AB=C2=A0Formal Verification of a logging service b= ased on DHT=C2=A0=C2=BB

=E2=80=A2=C2=A0=C2=A0=C2=A0Amal El Fallah (LI6, SMA) =C2=ABApports mutuels des Syst=C3=A8mes Multi-Agents = et de la Blockchain=C2=BB

=E2=80=A2= =C2=A0=C2=A0=C2=A0Damien Vergnaud (LIP6, Almasty) =C2=AB=C2=A0Cryptographic Tools for Blockchain=C2= =A0=C2=BB

=E2=80=A2=C2=A0=C2=A0=C2=A0Giovanni Pau (LIP6, NPA) =C2=AB=C2=A0Beyond Crypto Currency: Applications of Block = Chains in Intelligent Transportation=C2=A0=C2=BB

=E2=80=A2=C2=A0=C2=A0=C2=A0Emmanuel Chailloux (LIP6, APR) =C2=AB=C2=A0Fiabilit=C3=A9 logicielle : langages,=C2= =A0 implantation et analyse de programme=C2=A0=C2=BB

=C2=A0



--000000000000b377fa056d9b4b2c--