Bei der diesjährigen //heise DevSec()-Konferenz für sichere Software- und Webentwicklung ist Dr. Michael Sperber mit seinem Vortrag "Kugelsichere Software mit formalen Methoden" als Sprecher in Regensburg vor Ort. Die Konferenz läuft vom 30. September bis zum 1. Oktober 2025, ein optionaler Workshop-Tag ist am 29. September angesetzt. Dr. Sperbers Vortrag ist für den 1. Oktober um 15:35 angesetzt.