It will have been four months since our last meetup but the community has been hard at work. Let's catch up with all the developments in the Tezos world!



We start with presentations at Brooklyn Desks, after which we will move to Kings County Brewers Collective for drinks. Pizza will be provided during the presentations.



Agenda

- Vishakh, Tyler and Marina from Cryptonomic provide updates on Aronnax, Conseil and Nautilus.

- Milo Davis from DLS presents a general framework for verifying the correctness of smart contracts

- Stephen Andrews flies in from New Zealand to share his latest projects