News and Events: Conferences

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

13 - 16 June 2017, 7th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Ljubljana, Slovenia

Date: 13 - 16 June 2017
Location: Ljubljana, Slovenia
Deadline: Monday 3 April 2017

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).

CALCO 2017 will feature a Special Session on Metrics, Privacy and Learning. CALCO 2017 will run together with the CALCO Early Ideas Workshop, a workshop intended to enable presentation of work in progress and original research proposals, with dedicated sessions at the end of each conference day. Finally, the CALCO Tools Workshop, dedicated to tools based on algebraic and/or coalgebraic principles, will take place on June 13.

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 any of the conference topics. Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners..

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

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