Verification Hack and Learn

Join us for an informal, hands-on session where we roll up our sleeves and learn by doing.
In this "Hack and Learn", we'll focus on applying software verification techniques—primarily using Dafny, but feel free to explore related tools like TLA+, or others you’re interested in.
This session is ideal if you want to:

• Try your hand at proving small programs correct
• Work through verification problems or exercises
• Ask questions about Dafny or other tools
• Share progress on a formal methods project
• Pair up or collaborate with others
• Explore ideas that didn’t quite “click” the first time around

We’ll begin with a brief check-in to share goals and optionally form small groups. After that, it’s open hacking time—with room for discussion, questions, and impromptu lightning demos if someone has something cool to share.
All experience levels welcome! Whether you're working through your first verification lemma or building a verified library, bring your curiosity and come learn with us.