A210
Sessions
- Session 3 (Sep 24 10:20-11:30) AVM Opening Remarks and First Presentations - Certificates and Witnesses
- Session 4 (Sep 24 12:00-13:00) Tutorial - Nikolaj Bjørner
- Session 5 (Sep 24 14:00-15:00) Tutorial - Andrei Voronkov
- Session 7 (Sep 24 15:30-17:30) Presentations - Networks and Optimizations
- Session 8 (Sep 25 09:00-10:30) Presentations - Verification and Synthesis
- Session 9 (Sep 25 10:30-10:40) Group Photo
- Session 12 (Sep 25 12:10-13:10) Ask-us-Anything
- Session 13 (Sep 25 14:00-16:00) Presentations - Automata
- Session 15 (Sep 25 16:30-18:30) Presentations - Symbolic Execution and Static Analysis
- Session 16 (Sep 25 18:00-18:15) Presentation of AVM 2026
- Session 17 (Sep 26 09:00-10:30) Presentations - SMT and Applications
- Session 19 (Sep 26 11:00-12:00) Presentations - SAT and Proofs
