Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Disputation M. Sc. Frederik Harwath

Wann 16.04.2018 ab 11:15 (Europe/Berlin / UTC200) iCal
Wo Rudower Chaussee 25, Humboldt-Kabinett
Kontaktname

Im Rahmen seines Promotionsverfahrens verteidigt Herr M. Sc. Frederik Harwath seine Dissertation "On invariant formulae of first-order logic with numerical predicates".


 

Gutachter:

Prof. Dr. Nicole Schweikardt     Humboldt-Universität zu Berlin
Prof. Dr. Stephan Kreutzer       Technische Universität Berlin
Dr. Luc Segoufin                     INRIA, LSV, ENS de Cachan

weitere Mitglieder:

Prof. Dr. Holger Schlingloff       Humboldt-Universität zu Berlin

Prof. Dr. Johannes Köbler         Humboldt-Universität zu Berlin

Dr. Andre Frochaux                 Humboldt-Universität zu Berlin