Let’s Prove Some Code! A Dafny Kickoff, Tue, Jun 17, 2025, 7:00 PM CEST