Let’s Prove Some Code! A Dafny Kickoff

Join us for an interactive workshop at the Berlin Formal Methods & Software Verification Meetup where software development meets mathematics. Dive deep into the world of formal methods in software engineering and explore how mathematical techniques can be used to ensure the reliability and correctness of software systems. Whether you are a software developer, student, or just passionate about mathematics, this event is for anyone looking to enhance their skills and knowledge in this niche field. As the world tends towards "vibe coding" we run the other way to achieve formal flow, where we try to understand code at the deepest possible level.

This workshop will feature hands-on exercises, discussions, and live coding in the Dafny verification language. The goal is to apply these skills towards applications in practical everyday software.

There will be:

1. An introduction to Dafny syntax and semantics
2. A getting started guide
3. A walkthrough of several examples
4. Links to more materials
5. (Optional) problems to try yourself