Brief ContentsTopDownloadingNews

News


 
Finalization of the Casl Book

The discussion of proposals for changes to Casl has finished, and the drafts of the Casl User Manual and Reference Manual are being updated accordingly.

IF

THEN

ELSE

The finalization of the Reference Manual has been rescheduled, to give time for further discussion and review - and to allow us to concentrate our efforts on the finalization of the User Manual. So:

Further details of the revised deadlines in connection with finalization of the CASL Book, and the respective addresses to which comments should be sent, are given in the message sent to the Announcements & Discussion mailing list. [031003]
   

Further draft chapters of the Casl User Maual are now available

The first public drafts of the Casl User Manual chapters on Architectural Specifications and Libraries, and the draft Case Study, are still available:

User Manual Addendum PDF (785 KB)

User Manual (incl. Addendum) PDF (1.3 MB)

The authors apologize for the delay with the release of these additional chapters! N.B. The Case Study is still a preliminary draft, and not as polished as the rest of the User Manual.

[...]

The Casl User Manual (about 200 pages) and Reference Manual (about 600 pages) is to be published by Springer in LNCS, accompanied by a CD-ROM. The draft list of contents of the two volumes is here.

A complete draft of the Casl Reference Manual was made available in mid-July:

Reference Manual PDF (2.9 MB)

Releases of drafts are announced on the main CoFI mailing list CoFI@cofi.info. [030917]
   

Comprehensive bibliography of CoFI Publications under construction

Authors of all publications concerning CoFI and Casl were requested by 15 September 2003 to kindly:

See the CoFI Bibliography document for details of the required format. Thanks to those who have already sent the requested information! The updated document is in preparation, and should be ready by 22nd September.

The new bibliography (with annotations) is to be included in the Casl Book, and to be incorporated in The Collection of Computer Science Bibliographies.

Please start using the new CoFI bibliography as soon as possible - especially for all those forthcoming WADT and ETAPS 2004 papers! [030916]
   

Comprehensive bibliography of CoFI Publications under construction

Authors of all publications concerning CoFI and Casl are requested by 15 September 2003 to kindly:

See the CoFI Bibliography document for details of the required format.

The new bibliography (with annotations) is to be included in the Casl Book, and to be incorporated in The Collection of Computer Science Bibliographies.

Please start using the new CoFI bibliography as soon as possible - especially for all those forthcoming WADT and ETAPS 2004 papers! [030823]
   

New bib file for unpublished CoFI documents and notes

The old cofibib.bib has been renamed cofi-unpub.bib, and is henceforth for use only in unpublished CoFI documents and notes. [030813a]
   

CoFI web pages updated

The web pages concerning Casl sublanguages and extensions have been updated. The pages that list documents have been reorganized. [030813b]
   

The Casl Book is to appear in print by the end of 2003!

CoFI is (very) pleased to announce that the long-awaited Casl Book is to appear in print by the end of 2003.

The Casl Book will be published by Springer in LNCS. In fact it will be two volumes: a User Manual (about 200 pages) and a Reference Manual (about 500 pages), accompanied by a CD-ROM. The draft list of contents of the book is here.

The authors and editors have been working hard over the past months to finish drafting the material for the book. A complete draft of the Casl Book is now available:

User Manual PDF (859 KB)

Reference Manual PDF (2.9 MB)

(The cover pages of both documents were updated with the colourful CoFI and Casl logos at 10:00, 17 July. All other pages are unchanged, apart from the time-stamps at the bottom of each page, which refer to the formatting run.)

The release has been announced on the main CoFI mailing list CoFI@cofi.info.

Adjustments and polishing of the material are scheduled for August and the first half of September, and the final draft should be ready by the end of September; the book has to be handed over to Springer by mid-October.

All CoFI participants - past, present, and future! - are encouraged to download the draft volumes, read them, and send their comments (preferably in August) to the (moderated) mailing list CoFI-discuss@cofi.info. [030715]
   

CoFI coordination has been reorganized!

There seems to be no need any longer for separate task groups each with their own coordinators, working meetings, web pages, and mailing lists. This structure has therefore been replaced with a looser coordination mechanism, described here.

The task-group mailing lists have been terminated, and the subscribers have been moved to the new mailing lists, described here.

The CoFI web site has been reorganized to take account of the above changes:

(The old task-group pages and mailing list archives are still accessible. Further reorganization is desirable, but will have to wait to the autumn...) [030711]
   

Most of the existing CoFI mailing lists are now being merged into two new lists:
CoFI@cofi.info - announcements

CoFI-discuss@cofi.info - discussion and announcments

CoFI@cofi.info will be a low-volume moderated list for announcements of direct relevance to CoFI. This list is not for general conference announcements etc.; all such submissions will be rejected.

Messages sent to CoFI@cofi.info will be forwarded to CoFI-discuss@cofi.info, so you only need to subscribe to one list. The initial subscribers for CoFI@cofi.info are to be those who are presently subscribe only to cofi-list@brics.dk; the rest will be moved to CoFI-discuss@cofi.info, which will cover all the previous task-group interests. There will be no change to the following existing mailing list:

CoFI-HOL-CASL@cofi.info - discussion specific to HOL-CASL

The first announcement to appear on CoFI@cofi.info will be a description of the adjustment of CoFI coordination to make it correspond better to the present loose structure of CoFI activities, with accompanying reorganization of this web site. If you are presently a subscriber to a cofi-* mailing list and don't receive a copy of that message by 11th July, please inform the administrator: pdmosses@brics.dk.

Details concerning subscription arrangements for the new mailing lists are available here. (Please do not submit messages to the new cofi.info lists before you receive an initial message with subscription information, welcoming you to one of the new lists.) [030707b]
   

CoFI web pages: URL of French mirror changed
The French mirror of the CoFI web pages has been moved to http://www.lsv.ens-cachan.fr/CoFI/ [030316]
   
CoFI web pages: CoFI web pages: new URL http://www.cofi.info
Thanks to Till Mossakowski at Bremen, the domain cofi.info has been acquired for the use of CoFI. Links via the old URL at BRICS will remain valid, but gradually get replaced by links to http://www.cofi.info. Moreover, the new mailing list addresses will refer to the cofi.info domain. [030301]
   
CoFI mailing lists: about to be reorganized
The CoFI task group mailing lists are being reorganized, and moved to the Mailman mailing list administrator (as already used for the cofi-hol-casl mailing list). Subscribers to the main cofi-list mailing list will be notified of the changes, and moved to the new lists, later this month. [030301]
   
CoFI web pages: renovation in progress...
The planned renovation of the CoFI Archives last autumn had to be postponed. With luck, most of it should take place this month. The major changes concern the reorganization of the task groups and mailing lists, the provision of a (large!) comprehensive bibliography of CoFI-related publications, and conversion of all current documents to PDF. [030301]
 
  • News Archives
  • News Archives 2002
  • News Archives 2001
  • News Archives 2000
  • Older News Archives
  • Past Meetings

  • CoFI : CoFI -- Version:  -- November 29, 2004.
    Comments to pdmosses@brics.dk

    Brief ContentsTopDownloadingNews