Please note that this newsitem has been archived, and may contain outdated information or links.
14 January 2024, Dafny 2024
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.
To give a presentation at the workshop, please submit an anonymous extended abstract (2-6 pages, excluding references) via hotcrp. Please use the acmart two-column sigplan sub-format LaTeX style to prepare your submission. We don’t intend to publish the workshop’s submissions. However, presentations may be recorded and the videos may be made publicly available.
Please note that this newsitem has been archived, and may contain outdated information or links.