Leader of the group Formal Methods (FM): Frank de Boer
FM's activity is organized within three closely inter-related sub-groups:
- Component-based models and software architectures (FM3.1)
Coordinator of this sub-group: Farhad Arbab - Formal methods (FM3.2)
Coordinator of this sub-group: Frank de Boer - Coalgebraic models of computation (FM3.3)
Coordinator of this sub-group: Jan Rutten
Since all sub-groups are typically involved in all (externally funded) research projects, there is an intense collaboration among their members. It goes without saying that FM also closely collaborates with many (national and international) academic and industrial partners.
In addition to the continuation of several ongoing projects, there are new (or very recently started) projects including: EU-FP6 CREDO on distributed services, NWO/DFG Syanco on synthesis and analysis of component connectors, BRICKS/FOCUS DIACODEM on distributed adaptive collective decision making, NWO CoCoMAS on coordination of societies of multi-agent systems, and NWO GLANCE WoMaLaPaDiA on composition and coordination of distributed workflow systems.
Previous members
List of former members of Coordination Languages.
Vacancy
PhD and postdoc position
Seminars
The Amsterdam Coordination Group (ACG) is an ongoing working colloquium of the group Coordination Languages where members and invited guests give presentations on their recent research. The meetings are held roughly every other week on Tuesdays.
More about the ACG Meetings