Stanford (California), 29th June -- 1st July 2000MeetingsL'Alpe d'Huez (France), 5th-9th January 2002Genova (Italy), 30th-31st March 2001

Genova (Italy), 30th-31st March 2001

The IFIP WG1.3 Meeting at DISI, University of Genova, Italy, was held Friday 30th and Saturday 31st March 2001. Many thanks to Egidio Astesiano, Maura Cerioli, and Gianna Reggio for hosting this meeting on top of all their obligations in connection with ETAPS2001. WG1.3 gratefully acknowledges the generous local support from DISI for this meeting.

The meeting was well attended, and a lively one--although the intended special session focussing on coalgebras and alternatives was postponed to some future meeting. The reviewing committee appointed by IFIP WG1.3 reported their assessment of the final design of CASL, the proposed Common Algebraic Specification Language developed by CoFI, the Common Framework Initiative. (The final design was itself presented at the previous WG1.3 meeting.)

The meeting was a satellite event of ETAPS 2000, and was followed by WADT/CoFI 2001: 15th International Workshop on Algebraic Development Techniques, which included the final General Workshop of the CoFI Working Group.

  • Participation
  • Talks
  • Egon Börger: Structuring Abstract State Machines
    • Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
    IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

    Stanford (California), 29th June -- 1st July 2000MeetingsL'Alpe d'Huez (France), 5th-9th January 2002Genova (Italy), 30th-31st March 2001