Formal Methods

FM'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 FM also closely collaborates with many (national and international) academic and industrial partners.


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