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

„Synthesis of Asynchronous Distributed Systems with Causal Memory via Petri Games”

am Freitag, den 5. Dezember 2025, um 14:00 Uhr im BIS-Saal.

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