11-12, 14:00–18:00 (Asia/Bangkok), Breakout 2
A low key, informal, self-organized event hosted within the Devcon venue* to explore interesting topics in Formal Verification.
The event will be casual, with minimal talks/programming, and geared towards facilitating discussions and allowing researchers to connect with others in the field.
Agenda
2:00 - 2:15 – Welcome
2:15 - 3:30 – Fishbowl Panel
3:30 - 4:00 – Break
4:00 - 5:00 – Lightning Talks**
5:00 - 6:00 – Discussion Groups
6:00 onwards – Informal Discussions