| Abstracts for Presentations Edited by (2007) | |||||||||||||||
Abstract | |||||||||||||||
| CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. The study of algebra and coalgebra relates to the data, process and structural aspects of software systems. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The first CALCO conference was held in Swansea, Wales, in 2005; the second takes place in Bergen, Norway. The CALCO Young Researchers Workshop, CALCO-jnr, is a CALCO satellite event dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. Attendance at the workshop is open to all- it is anticipated that many CALCO conference participants attend the CALCO-jnr workshop (and vice versa). CALCO-jnr presentations have been selected on the basis of submitted 2page abstracts, by the CALCO-jnr PC. This booklet contains the abstracts of the accepted contributions. After the workshop, the author(s) of each presentation will be invited to submit a full 10-15 page paper on the same topic. They will also be asked to write (anonymous) reviews of papers submitted by other authors on related topics. Additional reviewing and the final selection of papers will be carried out by the CALCO-jnr PC. The volume of selected papers from the workshop will be published as a Department of Informatics, University of Bergen, technical report, and it will also be made available through the open access database | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||