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

Disputation M. Sc. Frederik Harwath

  • Wann 16.04.2018 von 11:15 bis 23:59
  • Wo Rudower Chaussee 25, Humboldt-Kabinett
  • iCal

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