On December 12, 2012, the 4th SFB 901 seminar in the winter semester will take place.
Talks will be held from subprojects B3 and A3.
16:00-16:45 (B3)
Title: Utilizing Domain Knowledge to verify Service Compositions (Abstract)
Speaker: Sven Walther
17:00-17:45 (A3)
Title: Contract Design for High Quality Service Compositions (Abstract)
Speaker: Jochen Manegold