CoFI is a voluntary organization, sponsored by IFIP WG1.3, and founded as an open collaborative effort to produce a Common Framework for Algebraic Specification and Development, including Casl, the Common Algebraic Specification Language.
|Casl User Manual||Casl Reference Manual|
-  logic QVT (Query/View/Transformation) has been added to the Heterogeneous tool set and can be used with HetCASL
-  logic MOF (Meta-Object_Facility) has been added to the Heterogeneous tool set and can be used with HetCASL
-  Paper on comparison of four languages/provers (one of them CASL/Hets) for the formalisation Vickrey's theorem (auction theory)
-  Conference on Algebra and Coalgebra in Computer Science 2013, Warsaw CfP appears