Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

24-26 June 2015, 6th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), Nijmegen, Netherlands

Date: 24-26 June 2015
Location: Nijmegen, Netherlands
Deadline: 22 March 2015

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It 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).

For more information, see http://coalg.org/calco15/

We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. Deadline for abstract submission: March 22, 2015.

Please note that this newsitem has been archived, and may contain outdated information or links.