
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
