At this year's //heise DevSec() conference for secure software and web development, Dr. Michael Sperber will be on site in Regensburg as a speaker with his talk "Bulletproof Software with Formal Methods". The conference runs from September 30 to October 1, 2025, with an optional workshop day on September 29. Dr. Sperber's talk is scheduled for October 1 at 3:35 PM.