Up Next
Go up to 2.4 Mailing Lists
Go forward to 2.4.2 Subscription

2.4.1 Topics

The topics of the mailing lists are as follows:
cofi-list:
Coordination.
Moderator: Don Sannella.
cofi-language:
Language Design.
Moderator: Bernd Krieg-Brückner.
cofi-methodology:
Methodology.
Moderator: Michel Bidoit.
cofi-tools:
Tools.
Moderator: Hélène Kirchner.
cofi-semantics:
Semantics.
Moderator: Andrzej Tarlecki.
cofi-reactive:
Reactive Systems and States.
Moderator: Egidio Astesiano.
There are a couple of more specialized lists (currently dormant):
cofi-higher-order:
Higher-order issues in language design.
Moderator: Karl Meinke.
The list cofi-language is a subscriber to cofi-higher-order.
cofi-flexibility:
Flexibility and evolution in specification.
Moderator: Joseph Goguen.
The list cofi-methodology is a subscriber to cofi-flexibility.

CoFI : CoFI -- Version:  -- November 16, 1999.
Comments to pdmosses@brics.dk

Up Next