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 sympa.inria.fr (Postfix) with ESMTPS id 29A2B8240C for ; Thu, 24 May 2018 10:20:07 +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-f48.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of zaydargaye@gmail.com) identity=pra; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zaydargaye@gmail.com"; x-sender="zaydargaye@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of zaydargaye@gmail.com designates 74.125.82.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zaydargaye@gmail.com"; x-sender="zaydargaye@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zaydargaye@gmail.com"; x-sender="postmaster@mail-wm0-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A7J9SjRYb6NPyAJKbJ7XdaGb/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMqzbnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul8qlrVQToiD?= =?us-ascii?q?8ZODEl7GHZhMtwjKdBrxKgoRx03orYbY6ROfZ7eK7WYNEUSndbXstJVyJPDICy?= =?us-ascii?q?YZYRAeUdJutXtZXxqkEUoBeiGQWhBuXiwSJIiH/s2q061vwsEADc0w0gGdIBqn?= =?us-ascii?q?TUp8joO6gIS+C1w7PHzDXdYPhL3jr86ZLHcxA8rv6WR7JwftDeyEkxGA7egVWQ?= =?us-ascii?q?rJbqPzKR1ugXr2eb6O9gWPuphmU6pQ9xpT2vyd0tionPno8VxVfE9SJ2wIYxO9?= =?us-ascii?q?K0UlJ0YdmhEJZWqiqUNJN2T9sgTmxnoio216MKtJ6hcCUJ1pgr3RHSZv+BfoOV?= =?us-ascii?q?+BzsTvyRLi19hH99eLKwmRKy8U+4x+35TMa00VJKojNLk9nJqnwBzhLT58eER/?= =?us-ascii?q?dn8Ueh3jGP1w/X6u5aO0w7ia3bK5s5zr4xkJocr1jDEzf0lUj5lqOaa1so9+iy?= =?us-ascii?q?5+nkfLnqvJCROoxshgH7KKsum8i/AeoiMggJWmiW4eW926fj/ELkWrpKlPI2nb?= =?us-ascii?q?PZsZ/EPskbqau5DBVU0oYn8RqwEzCm0NEAkXkdMF1FYA6Hj5TuO1zWPP/3F/K/?= =?us-ascii?q?g1C1nDdvxvDGJaHhD47WLnnDlbfhZaxy51RdyAo119Bf5ohbBqsPIPLpCQfNs4?= =?us-ascii?q?nTBxo9dgi12PrPCdNn14pYV3jcLLWeNfbAuE6O7+JnL+CWa4YEtX6pOfE06/f0?= =?us-ascii?q?gnYolHcSeKCo2d0cb3XuTacuGFmQfXe52oRJKmwNpAdrEL2z2Q+yFAVLbnP3ZJ?= =?us-ascii?q?oSozQyCYaoF4DGH9n/j7mI3SP9FZpTNDkfVgK8VEzwfoDBYM8iLTqIK5Y4wDMB?= =?us-ascii?q?XLmlDYQm0EP27VKo+/9cNuPRvxYgm9fj2dxyvbCBkBgz8XlrCpzY3T3dCW5zmW?= =?us-ascii?q?wMSnk926Ut+UE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AeBAD6dAZbfzBSfUpdHgEeB4I7gRo+f?= =?us-ascii?q?SiDOD+BHYJQkHuDCIdqjUYBCyWER4IHGQcBBDQUAQIBAQEBAQEBAQETAQEJCws?= =?us-ascii?q?IJiUMgjUMgnoXHQEbHgMSAw0tCgIkAREBBQGDWYFmAQMVD49ZjGSDHjyLBYF/B?= =?us-ascii?q?QEXgnAFg1IKGSYNVFeBdAIBBRKGJARZAYEigVQ/gQ+GHgKCDYJTglQCmFsJhWq?= =?us-ascii?q?Ib40DhXuDa4cMDyGBBDNUgR9wUDGCEoFwhAyKVD0wjgkBAQ?= X-IPAS-Result: =?us-ascii?q?A0AeBAD6dAZbfzBSfUpdHgEeB4I7gRo+fSiDOD+BHYJQkHu?= =?us-ascii?q?DCIdqjUYBCyWER4IHGQcBBDQUAQIBAQEBAQEBAQETAQEJCwsIJiUMgjUMgnoXH?= =?us-ascii?q?QEbHgMSAw0tCgIkAREBBQGDWYFmAQMVD49ZjGSDHjyLBYF/BQEXgnAFg1IKGSY?= =?us-ascii?q?NVFeBdAIBBRKGJARZAYEigVQ/gQ+GHgKCDYJTglQCmFsJhWqIb40DhXuDa4cMD?= =?us-ascii?q?yGBBDNUgR9wUDGCEoFwhAyKVD0wjgkBAQ?= X-IronPort-AV: E=Sophos;i="5.49,436,1520895600"; d="scan'208,217";a="328195886" Received: from mail-wm0-f48.google.com ([74.125.82.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 May 2018 10:20:06 +0200 Received: by mail-wm0-f48.google.com with SMTP id a67-v6so2571041wmf.3 for ; Thu, 24 May 2018 01:20:06 -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=gXhZpQakbVERa5yNgh4iK8R0PdY9gLxKinyG11b+iqI=; b=tAREahqMCFF30eWO0s5FbfGVNLA61TeUcdcTFI8dIWDR5j/lsiFvlGaRypBG9fG6dS Ggl0W7qxPhCqHUl8/0CR3xrAYp+bFI11inzngZVYfVyJNTONa01TnIzSsre4YiFFzdcK qdHWAwgQEh941sxk6VjpVZULoET4fcMCQKOwfimJqAMPY4LbwtEsp+mnWRcnFRBdMx+O sJE2eJp3LjHxw5olmSMPQKpp1MDsdLC2Ud996b4JvN9WtKZ9xz6cY0eeczkQ6TfCMrdG aAoVcVWP08mfNyloMIfA3E2QjtmfvI6KIzU35ND7ISOVkUQHvRxM1ArBBIDTSOrqFB0s IhLw== 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=gXhZpQakbVERa5yNgh4iK8R0PdY9gLxKinyG11b+iqI=; b=rP2qHVeEXNO+SwLRYAD+026d9Ux2s2Xgiy4lowll5KjO+284nPMcgF/GtieWVXfpbM d21ArAzXpXJcqD/ZFbV2MevOVnmpRpHcitBPPVS9dtMuyRFLGbT6D+LuUeXqTv6ITH3A EKLQRSeuC+xg5a6IppCp0hD+rhTfcmCQVqAkZqaRMNP8nxsJIGi4kbyDg7cqI+2J2iYA joPXFolYENA8AE0gILbVt0DKbK5dAbQ8yOilST7a0WAz73ZyacMTMq8uMioLvJVRe2Ca xGQoeWH5NZ7/TyfqFXyNsUbfO6gwfGsB9Sh/Yw7t0MuzLZRGomOxNK8Hhi18flcWzRqj kQyA== X-Gm-Message-State: ALKqPwfwJxa7llVbzosVJLbRIFtlZOy3USLbQwp6nMkzVBQ5LYCBq/jx 5X/ZX/eFyqAaKb6p3f4LZqHi03OjiK7/1T+NvoujzA== X-Google-Smtp-Source: AB8JxZoIDN9HEAgELUQ8DZwQac2OYn4SlYfHjtKtfPsskGrHgxf5C+TL2qC2T7/mcwMA9az4TCLRmtJNX8jj+kOmu3s= X-Received: by 2002:a1c:8d90:: with SMTP id p138-v6mr6977449wmd.153.1527150005617; Thu, 24 May 2018 01:20:05 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:adf:8e26:0:0:0:0:0 with HTTP; Thu, 24 May 2018 01:20:04 -0700 (PDT) From: zaynah dargaye Date: Thu, 24 May 2018 10:20:04 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000009a866c056cef51e6" 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?= --0000000000009a866c056cef51e6 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 --0000000000009a866c056cef51e6 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=A0BRiCS=C2=A0(Blockchain=C2=A0Relia= bility, 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/1FAIpQ= LSd-6qecgwJvSBBEYsu6hRcisZz7-0YBNg6kg7g1Y_rXOGuCcQ/viewform

=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

=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

--0000000000009a866c056cef51e6--