[CoFI] Status of CASL Summary

[Peter Mosses <mosses@csl.sri.com>]

Latest News [from the CoFI web pages at Aarhus:]

12 September

     *** Release of final draft of CASL Summary delayed! ***

     The plan WAS to release the final draft of the CASL Summary version 1.0
     by mid-September. However, on-going discussions in both the Semantics
     and Tools task groups have recently raised further delicate questions
     about some details of the CASL design, and it appears that a bit more
     time is needed to resolve these last points...

     A further relevant factor is that the editor of the CASL Summary will
     be away from the net from 14-28 September, and is reluctant to leave
     possible questions and comments on the new version unanswered during
     the entire period that had been allowed for objections.

     Therefore, the plan is now:

          27 September
               Conclusion of feedback from task groups

          1 October:
               Release of DRAFT of CASL Summary v1.0

          15 October:
               Deadline for objections to changes

          22 October:
               Release of final CASL Summary v1.0

     The editor of the CASL Summary must apologize for not having been able
     to keep to the previous plan, which would have ensured the finalization
     of the CASL design in time for the start of the new CoFI WG, as well as
     leaving more time before the forthcoming task group meetings in Cachan.
     Hopefully, the present delay will indeed be the very last one--and will
     help substantially to avoid having to produce a version 1.0.1 too soon!

12 September

     The editor of the CoFI web pages at Aarhus is away from the net from
     14-28 September. In case of access problems, please try the mirrors in
     Edinburgh [http://www.dcs.ed.ac.uk/home/dts/CoFI/index.html]
     or Paris  [http://www.lsv.ens-cachan.fr/~bidoit/CoFI/index.html]

-- 
_________________________________________________________
Dr. Peter D. Mosses             International Fellow  (*)

Computer Science Laboratory     mailto:mosses@csl.sri.com
SRI International               phone: +1 (650)  859-5067
333 Ravenswood Avenue           fax:   +1 (650)  859-2844
Menlo Park, CA 94025, USA       http://www.brics.dk/~pdm/

(*) on leave from DAIMI & BRICS, University of Aarhus, DK
    affiliated also to CS Department, Stanford University
_________________________________________________________