The meeting consisted of a state-of-the-art review by all partners and discussions on a more concrete research programme for the 3 years of project duration.
Three subgroups discussed aspects of
One suggestion for focusing the group activities was to undertake common case studies in the various formalisms. As a simple starter the flip-flop was suggested.