CALCO 2013 - 5th International Conference on Algebra and Coalgebra in Computer Science

CALCO aims to bring together researchers and practitioners with interests in 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).
Previous CALCO editions took place in:
Swansea (Wales, 2005),
Bergen (Norway, 2007),
Udine (Italy, 2009), and
Winchester (UK, 2011).
The fifth edition will be held in Warsaw, the capital of Poland.
Topics of interest:
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.
ABSTRACT MODELS AND LOGICS
Automata and languages; Categorical semantics; Modal logics; Relational systems; Graph transformation; Term rewriting; Adhesive categories
SPECIALISED MODELS AND CALCULI
Hybrid, probabilistic, and timed systems; Calculi and models of concurrent, distributed, mobile, and context-aware computing; General systems theory and computational models (chemical, biological, etc.)
ALGEBRAIC AND COALGEBRAIC SEMANTICS
Abstract data types; Inductive and coinductive methods; Re-engineering techniques (program transformation); Semantics of conceptual modelling methods and techniques; Semantics of programming languages
SYSTEM SPECIFICATION AND VERIFICATION
Algebraic and coalgebraic specification; Formal testing and quality assurance; Validation and verification; Generative programming and model-driven development; Models, correctness and (re)configuration of hardware/middleware/architectures; Process algebra
New topics:
This edition of CALCO will feature two new topics, and submission of papers on these topics is especially encouraged.
CORECURSION IN PROGRAMMING LANGUAGES
Corecursion in logic / constraint / functional / answer set programming; Corecursive type inference; Coinductive methods for proving program properties; Implementing corecursion; Applications
ALGEBRA AND COALGEBRA IN QUANTUM COMPUTING
Categorical semantics for quantum computing; Quantum calculi and programming languages; Foundational structures for quantum computing; Applications of quantum algebra