|Wed 17 - Fri 19 January 2024 London, United Kingdom|
Dafny 2024 with POPL 2024
Overview 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 ...