---
# System prepended metadata

title: Formal Verification Hangout @ Devconnect

---

# 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