Dafny
Dates to be announced Rennes, FranceDafny 2026 with POPL 2026About Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to be a forum for all auto-active program verifiers and their related techniques. Topics include but are not limited to the following: AI for verification and vice versa Alternative verifier backends Coinduction and corecurs ... |
Sun 19 - Sat 25 January 2025 Denver, Colorado, United StatesDafny 2025 with POPL 2025About Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny’s role in teaching. Topics include but are not limited to ... |
Wed 17 - Fri 19 January 2024 London, United KingdomDafny 2024 with POPL 2024Overview Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny’s role in teaching. Topics include but are not limited ... |
