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

• [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
• [120625] OntoIOp meeting in Madrid
• [120607] 21th International Workshop on Algebraic Development Techniques WADT 2012 with a number of talks related to CASL and extensions
• [120426] Hets version 0.98 released, for Ubuntu 12.04, other Linuxes and Mac
• [101101] Hets version 0.97 released
• [100615] 20th International Workshop on Algebraic Development Techniques WADT 2010 with a number of talks related to CASL and extensions
• [100430] Hets version 0.95 released
• [091010] Wikipedia article about CASL