Begin: Wed, 13. of Jan 2016 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530
On January 13, 2016, the 4th SFB 901 seminar in the winter semester will take place.
16:00 - 16:45
Title: Softwareverifikation durch Prädikatabstraktion
Speaker: Prof. Dr. Heike Wehrheim (TP B4)
17:00 - 17:45
Title: Kryptographische Zugriffskontrolle und Rechtemanagement im OTF Computing
Speaker: Prof. Dr. Johannes Blömer (TP C1)
