CoFI: Coordination, Meetings, Language Design

[pdmosses@brics.dk]

To all CoFI participants:


COORDINATION CHANGES

The coordinator of the CoFI Tools task group is now:

  Hélène Kirchner <Helene.Kirchner@loria.fr>

The coordinator of the CoFI Methodology task group is now:

  Michel Bidoit <Michel.Bidoit@ens.fr>

[The WWW pages haven't yet been updated to reflect these changes.
Also, the Majordomo info files need updating too.  This should happen
tomorrow...]

I would like to take the opportunity of publicly thanking the new
coordinators for accepting these responsibilities, and to the previous
coordinators (Michel Bidoit, Marie-Claude Gaudel and Andrzej Tarlecki)
for their valuable efforts so far on behalf of CoFI.


WORKING MEETINGS IN EDINBURGH, NOVEMBER 1996

As quite a number of the CoFI participants will be in Edinburgh around
9 November in connection with the LFCS anniversary celebration, it has
been decided to hold various task group meetings there in the period
8-12 November.  These are being announced separately on the respective
mailing lists.  Please make sure to let the coordinators of the task
groups know if you plan to attend the meetings.


LANGUAGE DESIGN

There has recently been an intensive discussion concerning the details
of the proposed treatment of subsorts; moreover, some further
clarifications are needed concerning parametrized and architectural
specifications.  Various comments on the latest version (0.93) of the
language summary have been sent on the cofi-language mailing list, and
can be accessed via the mailing list archives from the CoFI Home Page
on WWW.  A few further comments are expected to be sent later this
week.

The result of this round should be a tentative language design that is
sufficiently consistent and complete for the task groups on Semantics,
Tools, Methodology, and Reactive Systems to be able to start their
work.  A revised version of the language design summary should be
available by mid-October.

However, one cannot have an anonymous language!  Unfortunately (?)
none of the current proposals for the name/acronym have met with much
general enthusiasm...  The constraints are that the explanation of the
acronym should include the words "common" and "algebraic" - preferably
also "specification" and "language".  It would be good if one could
easily find related names for extension and/or sub-languages.  Please
send your proposals to cofi-language@brics.dk THIS WEEK.  The current
proposals are:

  Alcol,  CoFI-Light,  Black CoFI,  Coal,  Coala,  Class,  Focal. 

(If you really like one of those, feel free to re-propose it!)


Looking forward to the name-giving...

----   --------------------------------------------
\  /  | Peter D Mosses         <pdmosses@brics.dk> |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------