Dedicated workshop (February 2009) Sample Clauses

Dedicated workshop (February 2009). The working group has organized a one-day event on February 16th 2009 in Düsseldorf at the iFM conference5 on the theme of the working group. More than ten talks were presented on themes centering around:  Web services,  SOA,  fault tolerance,  composition, as well as using formal methods ranging from Event-B to Reo over to rewriting logic (see programme below). The event was very successful, with sessions being attended by 20 to 35 people. A new installment of the workshop was planned within the FMCO symposium organized in November 2009 at FMWeek in Eindhoven.