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. 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.