# Formal Verification Hangout @ Devconnect ## Tickets Sold-out, entry only with valid QR-code. ## When April 18th, 2022 Begin: 09:00 End: 17:00 Admission: 08:00 ## Where Tolhuistuin (THT) IJ promenade 2, 1031 KT Amsterdam, Netherlands ## Tentative Schedule 8:00 Open Doors 9:00 Intros & Topic Distribution 9:45 Session 1 10:30 Break 11:00 Session 2 11:45 Session 3 12:30 Lunch 13:30 Session 4 14:15 Session 5 15:00 Break 15:30 Session 6 16:15 Session 7 17:00 End ## Potential Discussion Topics - EVM symbolic execution / model checking - Solidity / Vyper / Fe model checking - Specification languages / Higher level properties / Economic properties - Usability / DevX / Integration with development - Standard testing - Tool interop - Approaches for tool automation / scaling - Research and backend solvers - Arithmetic circuits from ZK applications - Monitoring
×
Sign in
Email
Password
Forgot password
or
By clicking below, you agree to our
terms of service
.
Sign in via Facebook
Sign in via Twitter
Sign in via GitHub
Sign in via Dropbox
Sign in with Wallet
Wallet (
)
Connect another wallet
New to HackMD?
Sign up