Coordination Languages

Leader of the group Coordination Languages (SEN3): Frank de Boer

Research in Coordination Languages focusses on interaction, composition, and coordination of concurrent distributed systems, and encompasses foundations, technology, and applications. Specifically, in the context of component-based software engineering and service-oriented computing, we seek to provide well-founded technology for the easy and reliable composition of third-party applications. Integral to SEN3's approach is the development of solid mathematical foundations, including semantics, proof theory and coalgebra, on which such technology is to be based. SEN3's activity is organized within three closely inter-related sub-groups:

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 SEN3 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.

Members
Farhad Arbab, Lacramioara Astefanoaei, Frank de Boer, Filippo Bonchi, Marcello Bonsangue,
Behnaz Changizi, David de Oliveira Costa, Helle Hansen, MohammadMahdi Jaghouri, Stephanie Kemper, Christian Koehler, Natallia Kokash, Huiye Ma, Ziyan Maraikar, Young-Joo Moon, Jose Proenca, Jan Rutten, Alexandra Silva, Meng Sun, Nick Tinnemeier.

Previous members
List of former members of Coordination Languages.

Vacancy
PhD and postdoc position

Meetings
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

This group is part of the cluster Software Engineering (SEN).