60th Birthday Celebration of Prof. Dr. Helmut Seidl
Friday, 13 July 2018 TUM Institute for Advanced Study (IAS), Lichtenbergstr. 2a, 85748 Garching
How can we prove that two transformations of structured data are equivalent? How can we guarantee that no thread of a concurrent program ever starves? Can we exclude for Easychair, that no coalition of malicious program committee members may pass on illegimate information? How can systems of equations be solved that are potentially infinite or operate on value domains having infinite ascending or descending chains?
Having completed his habilitation at Saarland University, Helmut Seidl has addressed such issues – initially at the University of Trier and now since 15 years at TUM. Over two funding periods, Helmut Seidl was speaker of the doctorate program PUMA that investigated the interaction of various approaches to analysing models and systems. His further interests include systems for improving teaching. Since October 2013, Helmut Seidl has been dean of studies at the TUM Department of Informatics.
Program Birthday Celebration
Get-together with champagne at the TUM-IAS foyer
Keynote by Hans-Joachim Bungartz, Dean
Words of Welcome
2.45 pm – 3.30 pm
Presentation by Markus Müller-Olm, Münster University: „Automata-Based Analysis of Threaded Programs“
4.00 pm – 4.45 pm
Presentation by Bernd Finkbeiner, Saarland University: „Specifying and Verifying Hyperproperties“
4.45 pm – 5.30 pm
Presentation by Sebastian Manet, Bremen University: „Determinacy and Rewriting of Tree Transformations“
Registration is requested before 2 July 2018 via
Please email us
- your postal address
- the number of accompanying persons
Please note that we will take photos during the event. By visiting this event you agree with the photos being published on our department’s website in.tum.de. You may revoke this permission by sending an email to Doris.Herrmann@tum.de
Contact Person I 2 Prof. Seidl:
Elisabeth Sommer, email@example.com, Tel.: 089-289-18157
Contact Person Public Relations:
Doris Herrmann, Doris.Herrmann@tum.de, Phone: +49-89-289-17928
We thank our sponsors for their support!