| | | News |
[December 2003] See the CoFI web pages for up-to-date news about CoFI activities and publications!
[July 2003:] CoFI, the Common Framework Initiative (a WG1.3-sponsored activity since the start of the initiative in September 1995, and funded as an ESPRIT Working Group from 1998 to 2001) has announced 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 (IFIP Series). 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 first public draft of the CASL Book is available from the CoFI web pages.
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.
WG1.3 members and observers are encouraged to download the draft volumes, read them, and send their comments (preferably in August) to the new mailing list CoFI-discuss@cofi.info.
[March 2001:] IFIP WG1.3 has approved the design of CASL: The Common Algebraic Specification Language (version 1.0.1) as proposed by CoFI, the Common Framework Initiative.
[August 1999:] The IFIP State-of-the-Art Report on
Algebraic Foundations of Systems Specification,
sponsored by WG1.3, has been published by Springer-Verlag.
[July 2003:] The next WG1.3 meeting will be held on Friday, 26th March, 2004 -- the day before ETAPS 2004 starts, with WADT 2004 and CMCS 2004 as the first satellite events.
[April 2003:] A WG1.3 Meeting was held from 1-4 June 2003 on the island of Menorca, Spain. The Abstracts of Talks from this meeting are now available.
CMCS 2004: Coalgebraic Methods in Computer Science, 27-28 March 2004, Barcelona (Spain)
WADT 2004: 17th International Workshop on Algebraic Development Techniques, Barcelona (Spain), 27-30 March 2004
ICGT 2002:
2nd International
Conference on Graph Transformation, Rome (Italy),
13-19 September 2004
[December 2003:] IFIP TC1 has approved the proposed changes to WG1.3 membership:
The lists of Members and Observers
have been updated accordingly.
[September 2002:] IFIP TC1 has approved the proposed changes to WG1.3 membership:
The lists of Members and Observers
have been updated accordingly.
CMCS 2004: Coalgebraic Methods in Computer Science, 27-28 March 2004, Barcelona (Spain)
WADT 2004: 17th International Workshop on Algebraic Development Techniques, Barcelona (Spain), 27-30 March 2004
ICGT 2004: 2nd International
Conference on Graph Transformation, Rome (Italy),
13-19 September 2004
[April 2003:] The previous WG1.3 Meeting was held from 1-4 June 2003 on the island of Menorca, Spain. The Abstracts of Talks from this meeting are now available.
[January 2002:] The previous WG1.3 Meeting was held 5-9 January 2002, on L'Alpe d'Huez, near Grenoble (France). The final list of participants includes 14 Members, 3 Observers, and 1 Accompanying Researcher.
[September 2002:] IFIP TC1 has approved the proposed changes to WG1.3 membership:
The lists of Members and Observers
have been updated accordingly.
[July 2001:] IFIP TC1 has approved the proposed changes to WG1.3 membership:
The lists of Members and Observers have been updated accordingly (December 2001).
[Spring 2001] The next WG1.3 Meeting will be held
Friday 30 - Saturday 31 March 2001, in Genova (Italy)immediately preceding WADT/CoFI 2001: 15th International Workshop on Algebraic Development Techniques and General Workshop of the CoFI WG (1-3 April 2001), ETAPS 2001: the European Joint Conferences on Theory and Practice of Software (2-6 April 2001), and CMCS2001: the 4th International Workshop on Coalgebraic Methods in Computer Science (6-7 April 2001).
[Summer 2000:] The abstracts of the talks given at the WG1.3 meeting at Stanford (29th June - 1st July 2000) are now available.
[April 2001:] WADT/CoFI 2001: 15th International Workshop on Algebraic Development Techniques and General Workshop of the CoFI WG, sponsored by WG1.3, will be held in Genova (Italy), 1-3 April, 2001. Deadline for submission of 2-page abstracts: 10th January 2001.
CMCS2001: the 4th International Workshop on Coalgebraic Methods in Computer Science, will be held in Genova (Italy), 6-7 April 2001. Deadline for submission of papers: 2 January 2001.
WADT/CoFI 2001 and CMCS2001 are satellite events of ETAPS 2001, the European Joint Conferences on Theory and Practice of Software, Genova (Italy), 2-6 April 2001, including the conferences FoSSaCS 2001: Foundations of Software Science and Computation Structures, and FASE2001: Fundamental Approaches to Software Engineering.
[August 2000:] The first IFIP International Conference on Theoretical Computer Science, IFIP TCS2000) -- Exploring New Frontiers of Theoretical Informatics -- was held in Sendai, Japan, August 17-19, 2000. It was organized by TC1.
CoFI, the Common Framework Initiative (an WG1.3-sponsored activity since September 1995, and funded as an ESPRIT Working Group since October 1998) presented the CASL specification language, tools, and methodology at FM'99.
4 papers were accepted for the WG1.3-sponsored FoSS mini-track at FM'99. Unfortunately, the FM'99 Programme Chairs subsequently moved some of these papers into different mini-tracks, with the result that there will be only one small session under the FoSS banner in the FM'99 Technical Symposium.
[November 1998:] Two new WG1.3 Members have been approved by TC1: José Fiadeiro and Martin Wirsing.
Four of the Founding Members of WG1.3 (Ole-Johan Dahl,Harald Ganzinger, Pierre Lescanne, and Jacques Loeckx) are currently not participating in WG1.3 activities, but wish to remain in contact with the group. They have been given the status of Member Emeritus.
The WG1.3 Secretary, Christine Choppy, has moved to LIPN, Université de Paris-Nord. E-mail: Christine.Choppy@lipn.univ-paris13.fr.
To proceed, we need to know how many will be attending the WG1.3 meeting in Lisbon as soon as possible. Members and observers are requested to return the completed questionnaire by 16 February 1998.
IFIP-WG1_3-Members@brics.dk, IFIP-WG1_3-Observers@brics.dkThe case of letters in mail addresses is insignificant. Annoyingly, the name cannot include a dot for `1.3'! Anyone may submit messages to these lists. Administration of subscription is managed by the Majordomo program.
| | | News |