[CoFI] CASL Book - complete draft ready 15 July

[pdmosses@brics.dk]

CoFI News <http://www.cofi.info/>:

 * 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 available at 
   <http://www.cofi.info/CASLBook/Contents.txt>. 

   The authors and editors have been working hard over the past 
   months to finish drafting the material for the book. A complete 
   draft will be released at <http://www.cofi.info/> on: 

                       Tuesday 15th July 

   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 to the new mailing list: CoFI-discuss@cofi.info 
   (see below). 


 * 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
                                 <http://www.informatik.uni-bremen.de/cofi/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 the 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. 

   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.

____________________________________________________________________
CoFI <http://www.cofi.info/> -- July 7, 2003.
Comments to pdmosses@brics.dk