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.

Programme

10:00 - 10:30 Introduction

Manuel Carro, Director of the IMDEA Software Institute.

Michel Mauny, Chief Scientific Officer at Nomadic Labs.

Consensus (Chair: Zsolt István)

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 ☕

Verification (Chair: Patrick Cousot)

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 🍽️

Security and privacy (Chair: Ignacio Cascudo)

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.

Resource Consumption and Performance (Chair: Pierre Ganty)

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 up

16:00 - … Time for informal discussions, breakout sessions

Coffee break ☕

Practical Information

1. How to get to the Institute