CALCO'07
2nd Conference on Algebra and Coalgebra in Computer Science
August 20-24, 2007, Bergen, Norway
IFIP WG1.3 on Foundations of System Specification
Research Council of Norway
Bergen University College, Norway
Department of Informatics, University of Bergen, Norway
http://www.ii.uib.no/calco07/