















Tezos is a new platform for smart contracts which implements in-protocol governance and formal verification for smart contracts. Contracts on Tezos are implemented in a language called Michelson, with higher level alternatives currently in development. This gives it a number of unique advantages and makes it an interesting potential alternative to more popular smart contract platforms like Ethereum, especially for backbone financial applications where security and verifiability is paramount.



Needless to say many people are excited about the potential of Tezos, which is why this meetup is being created for future Tezoans to socialize and hear more about what's going on the ecosystem. Especially of interest to developers, entrepreneurs or investors, but open to all!