Im Rahmen der Disputation seines Promotionsverfahrens hält Frederik Haltermann, M.Sc., seinen öffentlichen Vortrag zum Thema

„Cooperative Software Verification”

am Freitag, den 21. Februar 2025, um 14:00 Uhr im BIS-Saal und im Online-format via BBB: https://meeting.uol.de/rooms/npa-qtw-lr0-bun/join

Mit der Teilnahme von Zuhörerinnen und Zuhörern an der anschließenden Prüfung bis 15:30 Uhr ist Herr Haltermann einverstanden.