Universität Paderborn » SFB 901 » Events

Events

Fourth SFB 901 Seminar in WS 15/16

Begin: Wed, 13. of Jan 2016 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530

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)