L'Agenda du Libre

Cette journée fait partie du Printemps de l'innovation Open Source, rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets libres et open source issus de la recherche et de l’innovation française.

Programme détaillé

13:30 - Accueil
14:00 - Mot d'introduction

• 14:05 - Le danger des forks, et comment les éviter, Romaric LUDINARD (ENSAI / CREST) Les mécanismes de mise à jour de la blockchain et le problème des forks seront présentés. Ensuite, trois améliorations parues en 2016 (Bitcoin-NG, PeerCensus et ByzCoin) seront détaillées, ainsi qu'une étude de leur fiabilité.
• 14:35 - Lightning Network, Fabrice DROUIN (société Acinq) Le réseau Lightning Network sera présenté, un réseau de paiement P2P haute-performance basé sur Bitcoin.
• 15:05 - Going Beyond Decentralized Fragmentation with Process Networks, Anuj Das GUPTA (VP of research, société Stratuum) Since no one is born in the blockchain, establishing trust has to always fall on real world sources, through client-server sources of trust. However, the deterministic world of blockchains is not compatible for interfacing with the nondeterministic nature of real world processes. At Stratumn, we are building process networks for mapping processes onto prover-verifier networks where objectively verifiable data can coexist with oracles and trusted third parties. In this talk, we are going to talk about the core design principles behind the architecture of the process network.

15:35 - Pause Café

• 16:00 - Preuve formelle et Blockchains, Thomas Sibut-Pinote (Inria Saclay)
• 16:30 - Tezos, la blockchain évolutive, Benjamin CANOU (société OCamlPro) Nous présenterons Tezos, un protocole de blockchain dont l'une des particularités est un mécanisme de gouvernance, qui lui permet d'évoluer et d'éviter ainsi tout risque de "fork" du réseau. Tezos a été conçu par Arthur Breitman, et implanté du POC jusqu'au client actuel, par la société OCamlPro.

17:00 - Discussion entre les orateurs et le public. Discussion à la fois sur les blockchains aujourd'hui (les technologies, les problèmes à résoudre, leurs usages, etc.) et leurs perspectives.
17:30 - Pot -- Networking
18:30 - FIN

Inscription