Day opening
summary
This session delivers logistics and a roadmap not technical results: 18 talks across five sessions, running 9:00–6:00 with 15+3 minute slots, plus Q&A and coffee/cafe locations. It states Dafny is 16 years old, shows increased contributor activity, lists topical areas (testing, comparisons with other tools, proof at scale, industry production use at Amazon) and notes practical details (hand sanitizer, rooftop closed). No new proofs or experiments are presented.
AI-written summary · about