CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions.
- Regular papers that report
- results on theoretical foundations
- novel methods and techniques for software development
- experiences with the technology transfer to industry.
- (Co)Algebraic Pearls papers that
- present possibly known material in a novel and enlightening way.
- Early ideas abstracts that lead to
- presentations of work in progress
- proposals for original venues of research
- Tool presentation papers that
- report on the features and uses of algebraic/coalgebraic-based tools.
June 3: Paper Submission: June 10 AoE (NEW) July 29: Author Notification: August 9 AoE (NEW) August 12: Final Version Due: September 27 AoE (NEW)
Topics of Interests
All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them:
- Models and logics
- Automata and languages
- Graph and term rewriting
- Modal logics
- Proof systems
- Relational systems
- Algebraic and coalgebraic semantics
- Abstract data types
- Re-engineering techniques (program transformation)
- Semantics of conceptual modelling methods and techniques
- Semantics of programming languages
- Methodologies in software and systems engineering
- Development processes
- Method integration
- Usage guidelines
- Specialised models and calculi
- Hybrid, probabilistic, and timed systems
- Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms
- Systems theory and computational models (chemical, biological, etc.)
- System specification and verification
- Formal testing and quality assurance
- Generative programming and model-driven development
- Integration of formal specification techniques
- Model-driven development
- Specification languages, methods, and environments
- Tools supporting algebraic and coalgebraic methods for
- Advances in automated verification
- Model checking
- Theorem proving
- String diagrams and network theory
- Theory of PROPs and operads
- Rewriting problems and higher-dimensional approaches
- Automated reasoning with string diagrams
- Applications of string diagrams
- Quantum computing
- Categorical semantics for quantum computing
- Quantum calculi and programming languages
- Foundational structures for quantum computing
- Applications of quantum algebra
All submissions will be handled via EasyChair.
The format for all submissions is specified by LIPIcs (and pleasenote that there is a new version of the style: lipics-v2019)
It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately.
Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers.
Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series.
A special issue of the open access journal Logical Methods in Computer Science, containing extended versions of selected papers, is planned.
This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays which illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers.
Early ideas abstracts
Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers.
Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool.