Action IC0701
Search all sites
Navigation
Home
About IC0701
Participating Research Groups
Working Groups
Action Meetings
STSMs
Downloads
Contact
Recent site activity
Resources
Related Events
Project List
Tool List
Teaching Materials
Internal Area
VerifyThis Repository
VerifyThus Tool Distribution
4118
days since
9th MC and WG Meeting
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
)
Comments