CoFI

From CoFI

Tutorials | Casl | Casl Extensions | Basic Libraries | Case Studies | Projects | Tools | News | Logos | About

Frequently asked questions | Mailing Lists | Organization | Publications | Archives | Links | Bibliography

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

News

• [160921] WADT 2016 in Gregynog, Wales
• [160815] DOL tutorial at ESSLLI (DOL is a language inheriting many constructs from CASL)
• [160330] DOL specification approved by OMG (DOL is a language inheriting many constructs from CASL)
• [150518] DOL specification submitted as final version to OMG (DOL is a language inheriting many constructs from CASL)
• [140615] Deadline for WADT 2014 abstracts
• [140601] EU project Coinvent uses CASL for blending mathematical theories
• [140601] CASL will be used as basis for the Distributed Ontology, Modeling and Specication Language (DOL)
• [130901] logic QVT (Query/View/Transformation) has been added to the Heterogeneous tool set and can be used with HetCASL
• [130805] logic MOF (Meta-Object_Facility) has been added to the Heterogeneous tool set and can be used with HetCASL
• [130429] Paper on comparison of four languages/provers (one of them CASL/Hets) for the formalisation Vickrey's theorem (auction theory)
• [120910] Conference on Algebra and Coalgebra in Computer Science 2013, Warsaw CfP appears