Disputation Herr André Frochaux
- https://www.informatik.hu-berlin.de/de/events/dispufrochaux
- Disputation Herr André Frochaux
- 2016-12-16T13:15:00+01:00
- 2016-12-16T14:30:00+01:00
- Wann 16.12.2016 von 13:15 bis 14:30
- Wo 12489 Berlin, Rudower Chaussee 25, Humboldt-Kabinett
-
iCal
Im Rahmen seines Promotionsverfahrens verteidigt Herr André Frochaux seine Dissertation "Static Analysis of Monadic Datalog on Finite Labeled Trees".
Gutachter:
Prof. Dr. Nicole Schweikardt - Humboldt-Universität zu Berlin
Prof. Dr. Johannes Köbler - Humboldt-Universität zu Berlin
Prof. Dr. Isolde Adler - University of Leeds
Weitere Mitglieder:
Prof. Dr. Holger Schlingloff - Humboldt-Universität zu Berlin
PD Dr. Louchka Popova-Zeugmann - Humboldt-Universität zu Berlin
Alle Interessenten sind herzlich eingeladen.