[CoFI] News - CASL Summary v1.0 released!

[mosses@csl.sri.com]

News from the CoFI web pages (http://www.brics.dk/Projects/CoFI/):

23 October

  Release of CASL Summary version 1.0!

  The CASL Summary version 1.0 has now been released, and can be accessed
  in various formats via the URLs:

       http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/

       ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/

  Please notify the editor straight away about any problems with browsing
  or printing the document! The Postscript is generated by dvips for A4
  format by default, but the complete document is now also available as
  Postscript generated for printing on Letter-size paper, as well as a
  DVI file. (In the future, all documents should be made available in
  PDF, which appears to have some advantages over Postscript and DVI.)

  Those interested in the changes that have been made since version 0.99
  of the CASL Summary may like to browse the following documents, where
  all changes are marked and listed:

       http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0/

       ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0/

  In the WWW format, the list of changes links directly to the changes
  themselves, the extent of which is clearly marked; in the LaTeX format,
  the list references the pages where the changes have occurred.

  Finally, thanks to all who found the time and energy to read through
  the final draft version of the CASL Summary, and who provided the
  editor with much helpful advice for improving it!


22 October

  The release of the revised CoFIdoc and CASL packages for LaTeX and
  Hyperlatex has been delayed, and may not happen until around the first
  week of November. (The packages seem to work OK, but the documentation
  for the CASL package needs a major revision.)


22 October

  A further Language Design Note has been installed:
     o Note L-10. Anne Haxthausen, Bernd Krieg-Brückner, and Till
       Mossakowski.
       Subsorted partial higher-order logic as an extension of CASL.

  Also, a revised version of a Tools Note has been installed:
     o Note T-6. Till Mossakowski.
       Standard annotations for parsers and static semantic checkers
       - aproposal.


29 September (updated 2 October)

  As announced on the main CoFI mailing list, a CoFI workshop will take
  place in Cachan, just outside Paris, starting on Saturday 7 November
  after lunch and finishing on Tuesday 10 November in the early evening.
  (The plan originally announced was for the meeting on Reactive Systems
  to continue until Wednesday noon.)

       PLEASE REGISTER AS SOON AS POSSIBLE!

----------------------------------------------------------------------------
Comments to mosses@csl.sri.com