Einladung
Im Rahmen des Berufungsverfahrens für die Vertretungsprofessur Theorie
der Künstlichen Intelligenz finden
am Mittwoch, den 28.2.2007 um *9:00* und um *14:00 Uhr* im *MZH 5300
*zwei Anhörungen statt.
- *1. Anhörung 9:00 — 12:00 Uhr:*
Dr. Henning Dierks (Universität Oldenburg) hält um 9:00 Uhr eine
45-minütige Lehrprobe zum Thema “Halteprobleme, Reduktion und den Satz von Rice” und anschließend (ab etwa 9:50 Uhr) einen 30-minütigen
wissenschaftlichen Vortrag über “Finding Optimal Plans for Domains with Restricted Continuous Effects with Uppaal Cora”
- *2. Anhörung 14:00 — 17:00 Uhr:*
Dr. Renate Klempien-Hinrichs (Universität Bremen) hält um 14:00 Uhr
eine 45-minütige Lehrprobe zum Thema: “Beschränktheit in Petri-Netzen” und anschließend (ab etwa 14:50 Uhr) einen 30-minütigen
wissenschaftlichen Vortrag über “Undecidable Control Conditions in Graph Transformation Units”
*Der jeweils erste Teil der Anhörung* (Lehrprobe und Vortrag) *ist
öffentlich*.
*Alle Interessierten, insbesondere alle Studierenden der Informatik,
sind herzlich eingeladen. *
