CALCO 2015 Submission Information

Submissions are handled via EasyChair: link.

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.

Starting with CALCO 2015, 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.