 |  |  | Stanford (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.
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 2000 |