Third SFB 901 Seminar in WS 2011/2012

On December 14, 2011, the 3rd SFB 901 seminar in the winter semester will take place.

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"