Advancing Software Model-Checking by SMT Interpolation Beyond Decidable Arithmetic Theories

09. August 2017, 10:00 , 11:30

Veranstalter:  Herr Ahmed Mahdi, M.Sc.
Ort:  OFFIS-Gebäude, Raum F02

M i t t e i l u n g 

Im Rahmen der Disputation seines Promotionsverfahrens hält Herr Ahmed Mahdi, M.Sc., seinen öffentlichen Vortrag zum Thema „Advancing Software Model-Checking by SMT Interpolation Beyond Decidable Arithmetic Theories”

am Mittwoch, den 9. August 2017, um 10:00 Uhr im OFFIS-Gebäude, Raum F02.

Mit der Teilnahme von Zuhörerinnen und Zuhörern an der anschließenden Prüfung ist Herr Mahdi einverstanden.

gez. Prof. Dr.-Ing. A. Hahn