| | | News |
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]
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]
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]
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]
The old cofibib.bib has been renamed cofi-unpub.bib, and is
henceforth for use only in unpublished CoFI documents
and notes.
[030813a]
The web pages concerning Casl sublanguages
and extensions have been
updated. The pages that list documents have been reorganized.
[030813b]
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]
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]
CoFI@cofi.info - announcementsCoFI-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]
| | | News |