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.

3 - 6 June 2019, 8th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, England

Date: 3 - 6 June 2019
Location: London, England
Deadline: Wednesday 3 April 2019

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

The eighth edition will be held in London, UK, colocated with MFPS XXXV. It will have three invited speakers, and a joint special session with MFPS. It will also feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants.

CALCO invites three categories of submissions:
* Full 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.
* Early ideas abstracts that lead to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute.
* Tool papers that report on the development and use of tools for algebraic and coalgebraic methods in computer science.

For more information, see https://www.coalg.org/calco-mfps-2019/.

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