MB 1.210

Session 1 (Jul 24 09:00-10:15) CAV Keynote: How to Solve Math Problems without Talent
Session 2 (Jul 24 11:00-12:10) Probabilistic and Quantum Systems 1
Session 3 (Jul 24 14:00-15:30) Decision Procedures 1
Session 4 (Jul 24 16:00-18:10) Concurrent, Distributed, and Quantum Systems
Session 5 (Jul 25 09:00-10:10) Decision Procedures 2
Session 6 (Jul 25 10:10-10:30) Machine Learning and Neural Networks 1
Session 7 (Jul 25 11:00-12:00) CAV Keynote: Lean 4: Bridging Formal Mathematics and Software Verification
Session 8 (Jul 25 14:00-15:30) Software Verification 1
Session 9 (Jul 25 16:00-18:20) Synthesis and Repair
Session 10 (Jul 25 18:30-19:30) Logic Lounge
Session 11 (Jul 26 09:00-10:30) Learning
Session 12 (Jul 26 11:00-12:00) CAV Award
Session 13 (Jul 26 14:00-15:30) Software Verification 2
Session 14 (Jul 26 16:00-17:00) Hardware Model Checking
Session 15 (Jul 26 17:00-18:10) Runtime Verification and Monitoring
Session 16 (Jul 26 18:10-19:00) CAV Business Meeting
Session 17 (Jul 27 09:00-10:30) Cyberphysical, Hybrid, and Complex Systems
Session 18 (Jul 27 11:00-12:00) CAV Keynote: The Art of SMT Solving
Session 19 (Jul 27 14:00-15:30) Probabilistic and Quantum Systems 2
Session 20 (Jul 27 16:00-18:00) Machine Learning and Neural Networks 2