CALCO 2017 Submission information

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

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

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

String Diagrams and Network Theory: Combinatorial approaches; Theory of PROPs and operads; Rewriting problems and higher-dimensional approaches; Automated reasoning with string diagrams; Applications of string diagrams; Connections with Control Theory, Engineering and Concurrency

Submitting

Submissions are handled via EasyChair.

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.

Proceedings

Proceedings will be published in the Dagstuhl LIPIcs “Leibniz International Proceedings in Informatics series”. Final papers should be no more than 15 pages long in the format specified by LIPIcs.

Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines.

A special issue of the open access journal Logical Methods in Computer Science, containing extended versions of selected papers, is also being planned.