Wie kann ich beweisen, dass zwei Transformationen strukturierter Daten äquivalent sind? Wie garantiere ich, dass kein Thread eines nebenläufigen Programms verhungert? Kann ich für Easychair ausschließen, dass eine Koalition böswilliger Programmkommitteemitglieder unerlaubt Informationen weiter gibt? Wie finde ich generell Lösungen von Gleichungssystemen, die potentiell unendlich groß sind, wenn die auftretenden Werte auch noch unendlich aufsteigende oder absteigende Ketten bilden können?
Nach seiner Habilitation an der Universität des Saarlandes forschte Prof. Dr. Helmut Seidl an solchen und ähnlichen Fragen - erst an der Universität Trier und seit 15 Jahren an der TU München. Über zwei Förderungsperioden hinweg war Helmut Seidl Sprecher des Graduiertenkollegs PUMA, welches das Zusammenwirken unterschiedlicher Ansätze zur Analyse von Modellen und Systemen untersuchte. Ebenfalls interessiert er sich für Systeme, die zur Verbesserung der Lehre eingesetzt werden können. Seit Oktober 2013 ist Prof. Seidl Studiendekan der Fakultät für Informatik.
Programm Geburtstagsfeier
13.30 Uhr
Get-together im Foyer des IAS und Sektempfang
14.15 Uhr
Begrüßung durch Hans-Joachim Bungartz, Dekan der Fakultät
14.30 Uhr
Grußworte
14.45 – 15.30 Uhr
Vortrag von Markus Müller-Olm, Universität Münster: „Automated-Based Analysis of Threaded Programs“
Kaffeepause
16.00 – 16.45 Uhr
Vortrag von Bernd Finkbeiner, Universität d. Saarlandes: „Specifying and Verifying Hyperproperties“
16.45 – 17.30 Uhr
Vortrag von Sebastian Maneth, Universität Bremen: „Determinacy and Rewriting of Tree Transformations“
Im Anschluss geselliges Beisammensein und Buffet
Anmeldung bis zum 2. Juli 2018 unter:
Bitte schreiben Sie uns auch
- Ihre aktuelle Postadresse
- die Anzahl der Begleitpersonen.
Wir machen Sie darauf aufmerksam, dass während der Veranstaltung fotografiert wird. Mit Ihrem Kommen geben Sie Ihre Zustimmung, dass die Bilder auf den Webseiten der Fakultät für Informatik platziert werden. Dieses Einverständnis können Sie mit einer Email an Doris.Herrmann@tum.de widerrufen.
Kontakt
Lehrstuhl I 2 Prof. Seidl:
Elisabeth Sommer, sommere@in.tum.de, Tel.: 089-289-18157
Öffentlichkeitsarbeit d. Fakultät:
Doris Herrmann, Doris.Herrmann@tum.de, Tel.: 089-289-17928
Wir danken unseren Sponsoren!