
Log in to personalize your schedule, track your favorite speakers, and more.


Welcome to the Devcon Event app!

Devcon is an intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

Ethereum developer conference

Devcon Bogotá, Oct 11 → 14

Devcon Bogotá App

Hari

How symbolic computation in EVM / Solidity works, end-to-end. I'll try to give insights on problems that can be solved efficiently, forming constraints, relaxations, how to build custom solvers from scratch, and produce computer proofs. We'll be saving gas!

Talk 2

Symbolic Computation for Fun and for Profit

This session will be an unconventional panel discussion. Instead of being boring and repeating the same things, we will spice things up a bit.

The goal is to decide which is the best language for Ethereum.

How do we find that out? Though a combination of "pub quiz" and on-stage activity (e.g. tug-of-war) between members of different language teams. The audience can chime in as well.

Workshop 3

Alex is the team lead of Ipsilon at the Ethereum Foundation, a group focused on improving the EVM.  Alex has been an early contributor and co-lead of the Solidity team.

Alex Beregszaszi

Leo is the Formal Verification Lead at the Ethereum Foundation where he also contributes to the Solidity language and compiler.