Amphitheater 204
Lecture hall
Sessions
- Session 2 (Oct 30 10:00-12:00) Formal Verification of Deep Neural Networks
- Session 3 (Oct 30 13:30-15:30) Formal Verification of Unsatisfiability Results
- Session 4 (Oct 30 16:00-18:00) Deductive Verification of Distributed Protocols in First-Order Logic
- Session 6 (Oct 31 08:50-09:00) Introductory remarks
- Session 7 (Oct 31 09:00-10:00) Formal Verification of Financial Algorithms with Imandra
- Session 8 (Oct 31 10:15-10:45) Student Forum
- Session 9 (Oct 31 10:45-12:05) Hardware
- Session 10 (Oct 31 13:30-15:00) Quantifiers and SAT
- Session 11 (Oct 31 15:40-17:00) Liveness
- Session 12 (Oct 31 17:15-17:45) business meeting
- Session 13 (Nov 01 09:00-10:00) Concurrency
- Session 14 (Nov 01 10:30-12:00) Verification
- Session 15 (Nov 01 13:30-15:00) Learning and Synthesis
- Session 17 (Nov 01 15:30-16:40) SMT and CHC
- Session 18 (Nov 01 17:00-18:00) Rails
- Session 19 (Nov 02 09:00-10:00) Formal Design, Implementation and Verification of Blockchain Languages
- Session 20 (Nov 02 10:30-12:30) Certificates