Dafny Conferences & Talks https://popl24.sigplan.org/home/dafny-2024 Formal Methods / Verification Talks / Presentations Tutorial Series of the FME Teaching Committee Conferences ABZ - Rigorous State Based Methods Case Studies