Tezos Meetup

(english below)

Tezos es una nueva blockchain descentralizada que se gobierna a si misma mediante el establecimiento de una verdadera comunidad digital. Tezos facilita la verificación formal, una técnica que demuestra matemáticamente la corrección del código que rige las transacciones y aumenta la seguridad de los contratos inteligentes más sensibles o ponderados economicamente.

En esta charla intervendrán dos investigadores de Nomadic Labs (Paris): Pietro Abate 'Introducción a Tezos' y Marco Stronati 'Babilonia y el camino hacia Cartago'

Programa:

• 18.30 - Apertura
• 19.00 - Introducción a Tezos
• 19.50 - Babylon y el camino hacia Chartage.
• 20.40 - networking & pizza
• 21.30 - Clausura

El evento es gratuito, pero la inscripción es obligatoria.

La presentación será en Inglés y grabada en vídeo.

Tezos meetup

Tezos is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.

During this meeting we will host two talks from nomadic labs researchers

• Pietro Abate: Introduction to Tezos
• Marco Stronati: Babylon and the way forward to Carthage.

Program:

• 18.30 - Opening
• 19.00 - Introduction to Tezos
• 19.50 - Babylon and the way forward to Carthage.
• 20.40 - Networking and pizza
• 21.30 - Closing

The event is free of charge but a rsvp is mandatory.

The presentation are going to be in english and recorded .