Zoe P

The Argot Collective (argot.org) is a new non-profit organization maintaining Ethereum's core infrastructure formed by 25 former EF employees. 
Operating democratically and transparently, we aim to provide stable, long-term support for crucial projects, free from commercial pressures.

It's the new home for the projects:
- Act
- EthDebug
- Fe
- Hevm
- Solidity
- Sourcify 

This talk will be the first introduction of this new organization to the ecosystem

Stage 2

Announcing the Argot Collective

Vitalik believes "ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing".  Formal verification is a key technology which many believe could significantly help.  However, it has yet to see wide adoption for a variety of reasons.  This panel will bring together formal verification experts working in blockchain to discuss the challenges faced in increasing the use of formal verification within the community.