From: Stefan Zetzsche <stefanzetzsche@gmail.com>
**
** CALL FOR PARTICIPATION
**
** Dafny at POPL 2025
** 2nd Workshop on the Dafny Programming and Verification Language
** 19th of January 2025, Denver, Colorado, United States
**
** https://popl25.sigplan.org/home/dafny-2025
**
** ACCEPTED PAPERS
Dockyard: A Modular Framework for Verifying Liveness of Byzantine Fault
Tolerant Systems
Helping users to reduce Brittleness in their Dafny programs - a success
story
Laurel: Unblocking Automated Verification with Large Language Models
Lean on Dafny: Exploring Interactive Verification of Dafny Programs in
Lean
Performant, Readable and Interoperable Rust from Dafny
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large
Language Model, and Tree Search
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
** ORGANISATION
Program Committee Chairs:
Program Committee:
Steering Committee Chairs:
** CONTACT
All questions should be emailed to the program chair Stefan Zetzsche (
stefanze@amazon.com).
Last updated: Jan 30 2025 at 04:21 UTC