Name: First IMDEA Software - Tezos Blockchain Workshop
Start: 2020-01-16T10:00:00+01:00
End: 2020-01-16T16:00:00+01:00
Location: IMDEA Software Institute

First IMDEA Software - Tezos Blockchain  Workshop

IMDEA Software Institute

Attendance to the First IMDEA Software - Tezos Blockchain Workshop  is by invitation only.

Tezos is the open-source platform for blockchain assets and applications backed by a global community of validators, researchers and developers that is changing innovation in the social, political and economic framework on a global scale. Tezos addresses the key barriers facing the adoption of blockchain technology to date: smart contract security, long-term upgradeability, and open participation.The IMDEA Software Institute becomes part of the Tezos Community as a result of the collaboration agreement signed with Tezos Foundation and Nomadic Labs, an active member of the ecosystem and an expert in research and development of distributed, decentralized and formally verified software.

<h2>Programme</h2>10:00 - 10:30 Introduction	 Manuel Carro, Director of the IMDEA Software Institute.	 Michel Mauny, Chief Scientific Officer at Nomadic Labs. <h3>Consensus (Chair: Zsolt István) </h3>10:30 - 11:00 The State of Consensus.	 Awa Sun Yin, Founder at Cryptium Labs.11:00 - 11:30 Making BFT consensus live.	 Alexey Gotsman, IMDEA Software Institute.11:30 - 12:00 Coffee break ☕<h3>Verification (Chair: Patrick Cousot)</h3>12:00 - 12:30 Verifying Tezos Smart Contracts and Codebase at Nomadic Labs.	 Bruno Bernardo, Nomadic Labs.12:30 - 13:00 Type and Proof Structures for Concurrency.	 Aleksandar Nanevski, IMDEA Software Institute.13:00 - 14:15 Lunch 🍽️ <h3>Security and privacy (Chair: Ignacio Cascudo)</h3>14:15 - 14:45 Present and Future of Privacy in Tezos.	 Marc Beunardeau, Nomadic Labs.14:45 - 15:15 zkSNARKs: who, what, and…blockchains!	 Dario Fiore, IMDEA Software Institute.<h3>Resource Consumption and Performance (Chair: Pierre Ganty)</h3>15:15 - 15:35 Resource Usage Analysis, Verification, and Optimization. 	 Manuel Hermenegildo, IMDEA Software Institute.15:35 - 15:55 StreamChain: Towards Sub-Millisecond Processing in Blockchains. Zsolt István, IMDEA Software Institute.15:55 - 16:00 Wrap up16:00 - … Time for informal discussions, breakout sessions Coffee break ☕

<h2>Practical Information</h2><ol><li><a href="http://software.imdea.org/contact_and_directions/directions.html" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">How to get to the Institute</a></li></ol>

First IMDEA Software - Tezos Blockchain Workshop

More events from IMDEA Software Institute

Discover more events from IMDEA Software Institute, from Science & Tech to other experiences you might love.

First IMDEA Software - Tezos Blockchain Workshop

More events from IMDEA Software Institute

Discover more events from IMDEA Software Institute, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.