anticache

60th Birthday Celebration of Prof. Dr. Helmut Seidl

13.07.2018

Friday, 13 July 2018 TUM Institute for Advanced Study (IAS), Lichtenbergstr. 2a, 85748 Garching


Prof. Dr. Helmut Seidl (Photo: Thorsten Jochim)

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

1.30 pm       
Get-together with champagne at the TUM-IAS foyer

2.15 pm       
Keynote by Hans-Joachim Bungartz, Dean

2.30 pm       
Words of Welcome

2.45 pm – 3.30 pm           
Presentation by Markus Müller-Olm, Münster University: „Automata-Based Analysis of Threaded Programs“

Coffee Break

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“

Buffet

 

Registration is requested before 2 July 2018 via

Zusage+Seidl@in.tum.de

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

Contact Person I 2 Prof. Seidl:

Elisabeth Sommer, sommere@in.tum.de, 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!