- HOL-CASL 0.8 released
- A new version of HOL-CASL has just been
released, see the HOL-CASL home
page.
The new features are:
- command-line interface (instead of IsaWin) allows to use all
Isabelle tactics,
- special tactics for CASL, e.g. induction with CASL free types,
- simplifier sets optimzied for CASL,
- part of the basic datatypes have been verified within HOL-CASL!
[011126]
- HOL-CASL mailing list created
- Since now serious theorem proving
with HOL-CASL has become possible, a mailing list for HOL-CASL has
been started, see the
mailman page.
On this list, all detailed questions about how to do proofs with
HOL-CASL can be asked and will be answered (this probably would be
too much for cofi-tools, hence the new list).
Your are warmly invited to subscribe to the list, it is very easy!
- Tools Group web pages moved to Bremen
- The web pages of the
Tools group have been moved from Nancy to
Bremen. Please
update your bookmarks accordingly. (The URL of the CoFI Archives
mirror of the Tools web pages has not changed.) [010611]
- Coordinator changes in Language Design and Tools groups
- With
effect from 2nd April 2001, the coordinator of the Language Design
group is Peter D. Mosses (Aarhus). He is taking over from
Bernd Krieg-Brückner (Bremen), who has been the coordinator of this group
since the start of CoFI in 1995.
Bernd Krieg-Brückner (Bremen) and Till Mossakowski (Bremen) are taking over as joint
coordinators of the Tools group from Hélène Kirchner (Nancy), who has asked
to step down. [010402]
- CoFI WG has ended - long live CoFI !
-
The CoFI day at ETAPS was also the last day of ESPRIT funding for the
CoFI Working Group. CoFI continues as an unfunded collaboration.
Read Don Sannella's
paper
about what was accomplished during the period of funding. [010401]
- CoFI Tutorial at ETAPS well-attended
- A whole-day CoFI Tutorial
was held On Sunday 1st April 2001, as part of the joint
WADT/CoFI 2001 event
at ETAPS, Genova
(Italy). Despite a considerable number of parallel satellite events,
it attracted around 40 participants. [010401]
- Casl v1.0.1 design approved by IFIP WG1.3
- Casl version
1.0.1-DRAFT was presented to IFIP WG1.3 at its meeting in
California, June 2000. The subsequent review of the final Casl design by the WG1.3 reviewers was presented and discussed at the
following WG1.3 meeting in Genova, 30-31 March 2001.
Based on the positive review, IFIP WG1.3 has decided to
approve the design of Casl v1.0.1, as documented by the
present release of the Casl Summary.
The reviewers recommended moreover that the various interesting
sublanguages of Casl should be made more visible by listing them in
the Casl documents, and by relating them to previous algebraic
specification languages; the CoFI Language Design group is
proceeding to implement the recommendation. [010331]
- CoFI Task Group Meetings to be held during
WADT/CoFI 2001 at ETAPS
-
A meeting of the CoFI Language Design Task Group is to be held:
16.00-17.00 on Tuesday, 3rd April 2001, in Genova
[probably in a room next door to the CC+FASE hall]
see the announcement.
[010327]
- Basic Datatype v0.7 released
- Version 0.7 of the Libraries of
Basic Datatypes is now available (in input syntax only, for now) at
http://www.informatik.uni-bremen.de/cofi/CASL/lib/basic/v07/,
see the
announcement.
N.B. Language Design Note L-12 has not yet been updated to
this new version.
[010323]
- Casl v1.0.1 released
- After a protracted period
of minor adjustments since version 1.0.1-DRAFT was released last
summer, the documents concerning version 1.0.1 have now been
released:
The new documents are available also in PDF (with
hypertext links) and the HTML formatting exploits both CSS and
frames. Please advise pdmosses@brics.dk of any problems
experienced while browsing or printing CoFI documents, indicating
what software was involved. [010315]
- IFIP WG1.3 review of final Casl design at ETAPS
-
Casl version 1.0.1-DRAFT was presented to IFIP WG1.3
at its meeting in California last summer. The WG1.3 reviewers have
now reported their recommendations concerning the question of WG1.3
approval for Casl, and these will be presented at the forthcoming
WG1.3 meeting, to be held 30-31 March, adjacent to ETAPS2001 in
Genova. [010314]
- Casl Case Studies added to mirrors
-
The collection of Casl Case Studies maintained by Hubert Baumeister
at
Munich
are now mirrored here.
[010215]
- CoFI mirrors in France and Scotland operational
-
Note that the mirrors of the previous CoFI Archives in
France
and
Scotland
have been updated to the new CoFI archives. Some images and the style
sheet are still taken from the main site in Denmark; this is to be
fixed as soon as the maintainer finds out why relative URLs don't work
as he expects them to...[010215]
- CoFI Archives renovation almost completed!!
-
The long-overdue renovation of the CoFI Archives started
mid-January 2001. Until it is complete, please consult the
old version for any
missing information.
Note that the mirrors of the previous CoFI Archives in
France
and
Scotland
may require updating, so please refer to the primary site in
Denmark until further notice. [010203]
- Final chance for objections to Casl v1.0.1
changes--deadline 17th Feb
-
It has been proposed to allow an operation to be declared as both
total and partial in unions and extensions.
See the message on the
Language Design Mailing List
for motivation and further details. [010203]
- Final chance for objections to new style for Casl libraries--deadline 17th Feb
-
A modified proposal for the new style to be adopted for the Casl libraries has been made.
See the message on the
Language Design Mailing List
for motivation and further details. [010202]
- CoFI Tutorial to be held as part of WADT/CoFI 2001 at
ETAPS
-
A CoFI Tutorial
is to be held On Sunday 1st April 2001, as part of the joint
WADT/CoFI 2001 event at
ETAPS, Genova
(Italy). [010109]
