Working Groups (Action IC0701)

Working Groups

The Action is organized in four Working Groups (names in parentheses are the WG coordinators).

WG1 – Adaptable and Reusable Programs

(Mads Dam, Peter Schmitt)

WG2 – Modularisation and Components

(Claude Marché, Arnd Poetzsch-Heffter)

WG3 – Concurrency, Mobility, Distributed Systems

(Gilles Barthe, Einar Broch Johnsen)

WG4 – Tool Integration

(Joe Kiniry, Erik Poll)