Bonas (France), 13th-14th September 1999MeetingsGenova (Italy),
  30th-31st March 2001Stanford (California), 29th June -- 1st July 2000

Stanford (California), 29th June -- 1st July 2000

The IFIP WG1.3 Meeting at CSLI, Stanford University, California, was held Thursday 29th June to Saturday 1st July, 2000. Thanks to José Meseguer for hosting the meeting.

The meeting was a lively one, with plenty of opportunity for discussion during the 60-minute presentations. There was a special session focussing on observability. Moreover, the final design of CASL, the proposed Common Algebraic Specification Language developed by CoFI, the Common Framework Initiative, has been submitted to WG1.3 for approval, and was presented at the meeting, for discussion.

  • Participation
  • Abstracts of Talks
  • Egon Börger: Composition and Submachine Concepts for Sequential ASMs
  • Peter Pepper: A Very Elementary View of (the Design of) Functional Languages
  • Peter D. Mosses: CASL -- Submission of Final Design for IFIP Approval
  • P. S. Subramanian: Standard to System: Case Study in ADSL G.Lite
  • Zhenyu Qian: A Formal Specification of Java Class Loading
  • Bart Jacobs: Specification and Verification of the JavaCard API
  • Sam Owre: Coalgebras in PVS
  • Rolf Hennicker: On Observability and Reachability
  • Joseph Goguen: Towards the Automation of Behavioral Reasoning
  • Jean-Pierre Jouannaud: Automated Strong Normalization Proofs for Higher-Order Rewriting of Higher Type
  • José Meseguer: Rewriting Logic and Maude: Concepts and Applications
  • Carolyn Talcott: Specifying the Plan Language in Maude
  • David Espinosa: Loose Models of Parametrized Specifications
  • Doug Smith: Designware: Software Development by Refinement

  • Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
    IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

    Bonas (France), 13th-14th September 1999MeetingsGenova (Italy),
  30th-31st March 2001Stanford (California), 29th June -- 1st July 2000