Begin: Wed, 12. of Dec 2012 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530
Talks will be held from subprojects B3 and A3.
16:00-16:45 (B3)
Title: Utilizing Domain Knowledge to verify Service Compositions (<link file:51471 file>Abstract)
Speaker: Sven Walther
17:00-17:45 (A3)
Title: Contract Design for High Quality Service Compositions (<link file:51469 file>Abstract)
Speaker: Jochen Manegold
