WorkshopMexico City, MexicoJanuary 10, 2027
- Verification
Dates & Deadlines
Official page- AbstractOct 2113d
- NotificationNov 114w
Notes
- Previously the Dafny Workshop
- Extended abstracts of 2-6 pages; no formal proceedings
Part of
Last updated Oct 8, 2026