Call for Papers: CALCO 2025

11th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)

Dates: June 16-18, 2025
Location: University of Strathclyde, Glasgow, UK
Co-located with: MFPS XLI

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

Invited Speakers

• Ugo dal Lago (University of Bologna) (joint special session on Quantitative Semantics)
• Gordon Plotkin (University of Edinburgh) (joint keynote speaker)
• Elena di Lavore (University of Oxford)
• Alexander Kurz (Chapman University)

Scope

Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers and practitioners with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS and WADT. This edition is planned as a physical, in-person event. It is expected that at least one author of each accepted paper will attend and give the presentation in person; exceptions can be made in case of unexpected travel/visa problems.

Submission Categories

CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions:

1. Regular papers: These papers should report on theoretical foundations, novel methods and techniques for software development, or experiences with technology transfer to industry.
2. (Co)Algebraic Pearls papers: These papers present possibly known material in a novel and enlightening way, illustrating an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise.
3. Early ideas abstracts: These submissions lead to presentations of work in progress, or proposals for original venues of research.
4. Tool presentation papers: These papers report on the features and uses of algebraic/coalgebraic tools.

Topics of Interest

All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, including but not limited to:

• Models and logics
• Automata and languages
• Graph transformations and term rewriting
• Modal logics
• Proof systems
• Relational systems
• Behavioural metrics
• Algebraic and coalgebraic semantics
• Abstract data types
• Re-engineering techniques (program transformations)
• 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 automated verification, model checking, theorem proving, and testing.
• 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, quantum calculi, programming languages, foundational structures, applications of quantum algebra)

Submission Guidelines

• All submissions will be handled via EasyChair: https://easychair.org/conferences/?conf=calco25
• The format for all submissions is specified by LIPIcs. Please use the latest version of the style: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
• Submissions that are clearly too long may be rejected immediately.
• 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.

Page Limits:

• Regular papers: Maximum 15 pages, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix.
• (Co)algebraic pearls: Should not be longer than regular papers in the format specified by LIPIcs. Authors needing more space should consult the PC co-chairs.
• Early ideas abstracts: Should not exceed 2 pages in the format specified by LIPIcs.
• Tool papers: Should not exceed 5 pages in the format specified by LIPIcs. Tools should be made available on the web at the time of submission.

Important Dates

All dates are Anywhere on Earth (AoE):

• Abstract submission: March 10, 2025
• Full Paper submission: March 13, 2025
• Author notification: April 28, 2025
• Final version due: May 30, 2025

Awards

• Best Paper Award: Selected by the PC before the conference.
• Best Presentation Award: Elected by the participants.