💡 Verification Hack and Learn: BYOP (Bring Your Own Project)

This session is all about you and your projects. Instead of a set topic, we’re hosting a BYOP – Bring Your Own Project Hack and Learn. Whether you’re tinkering with Dafny, exploring TLA+, experimenting with Lean, or just wrestling with a tricky proof, this is your chance to dive in with the support of the group.
What you can do:

• Work on your own verification project or problem
• Get feedback or pair up with others for ideas and debugging
• Share challenges you’ve hit in Dafny (or other tools) and brainstorm solutions together
• Start something new—sometimes the best projects come from spontaneous ideas!

Format:

• Quick round of introductions and project pitches (5–10 minutes each, optional).
• Open hacking time.
• Group check-in and discussion at the end to share what we learned.

Why attend?
BYOP sessions are a great chance to:

• Make real progress on your own goals
• See how others approach verification problems
• Collaborate, share tips, and learn by doing