News

Third SFB 901 Seminar in WS 11/12

Begin: Wed, 14. of Dec 2011 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530

Talks will be held from subprojects C3, B3, B4 and A3.


16:00-16:40 (C3) Corinna Dohle and Florian Stapel
"Wasserbezugsoptimierung im On-The-Fly Computing: Spezifikation und Komposition von Services"

16:40-17:20 (B3) Sven Walther
"Ein modellbasierter Ansatz zur Analyse von Servicekompositionen"

17:40-18:20 (B4) Stephanie Drzevitzky and Daniel Wonisch
"Proof-Carrying Services: Compact Software Proofs and Runtime Verification for Hardware"

18:20-19:00 (A3) Sonja Brangewitz
"Negotiated Pricing"