CALCO: Conference on Algebra and Coalgebra in Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CALCO 2023 Conference on Algebra and Coalgebra in Computer Science
Jun 19, 2023 - Jun 24, 2023 University of Indiana Mar 8, 2023
CALCO 2021  9th International Conference on  Algebra and Coalgebra in Computer Science
Aug 31, 2021 - Sep 3, 2021 Salzburg, Austria Jun 3, 2021
CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science
Jun 24, 2015 - Jun 26, 2015 Nijmegen, Netherlands Apr 2, 2015 (Mar 22, 2015)
CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science
Sep 3, 2013 - Sep 6, 2013 Warsaw, Poland Mar 1, 2013 (Feb 22, 2013)
CALCO 2009 3rd Conference on Algebra and Coalgebra in Computer Science
Sep 6, 2009 - Sep 10, 2009 Udine, Italy Feb 15, 2009 (Feb 8, 2009)
 
 

Present CFP : 2023

=========================================================

CALL FOR PAPERS: CALCO 2023

10th International Conference on
Algebra and Coalgebra in Computer Science

June 19-22, 2023

Bloomington, Indiana (USA) and online

Co-located with MFPS XXXIX

https://coalg.org/calco-mfps-2023/

==========================================================
Paper submission: March 8, 2023 (AoE)
Author notification: Apr 28, 2023 (AoE)
Final version due: May 19, 2023
==========================================================


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 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 (the International Workshop on
Coalgebraic Methods in Computer Science) and WADT (the Workshop on
Algebraic Development Techniques). Previous CALCO editions took place
in Salzburg (Austria, 2021), London (UK, 2019), Ljubljana
(Slovenia,2017), Nijmegen (the Netherlands, 2015), Warsaw (Poland,
2013), Winchester (UK, 2011), Udine (Italy, 2009), Bergen (Norway,
2007), Swansea (Wales, 2005).

The 10th edition will be held in Bloomington, Indiana, co-located with
MFPS XXXIX. It is planned as a physical, in-person event, with
support for remote presence, both for speakers and for other
participants who are unable or unwilling to travel.


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 that report
* results on theoretical foundations
* novel methods and techniques for software development
* experiences with technology transfer to industry.

2. (Co)Algebraic Pearls papers that
* present possibly known material in a novel and enlightening way.

3. Early ideas abstracts that lead to
* presentations of work in progress
* proposals for original venues of research.

4. Tool presentation papers that
* report on the features and uses of algebraic/coalgebraic tools.


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 transformations and term rewriting
- Modal logics
- Proof systems
- Relational systems

* 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
- Advances in automated verification
- Model checking
- Theorem proving
- 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 for quantum computing
- Quantum calculi and programming languages
- Foundational structures for quantum computing
- Applications of quantum algebra


Submissions Guidelines
----------------------
All submissions will be handled via EasyChair:
https://easychair.org/conferences/?conf=calco2023

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/

It is recommended that submissions adhere to that format and length.
Submissions that are clearly too long may be rejected immediately.


Regular papers
--------------
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.

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 (http://www.lmcs-online.org), containing extended versions of
selected papers, is planned.


(Co)algebraic pearls
--------------------
This is a recent submission category. 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 that 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.


Tool papers
-----------
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.


Best Paper and Best Presentation Awards
---------------------------------------
This edition of CALCO will feature two awards: a Best Paper Award whose
recipients will be selected by the PC before the conference and a
Best Presentation Award, elected by the participants.


Programme Committee
-------------------
* Carlos Gustavo Lopez Pombo (University of Buenos Aires)
* Andreas Abel (Gothenburg University)
* Vincenzo Ciancia (Consiglio Nazionale delle Ricerche, Pisa)
* Patricia Johann (Appalachian State University)
* Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy)
* Martin Escardo (University of Birmingham)
* Tarmo Uustalu (Reykjavik University)
* Giorgio Bacci (Aalborg University)
* Thorsten Wißmann (Radboud University Nijmegen)
* Fabio Gadducci (University of Pisa)
* Shin-Ya Katsumata (National Institute of Informatics, Tokyo)
* Holger Giese (Hasso Plattner Institute at the University of Potsdam)
* Peter Ölveczky (University of Oslo)
* Michael Johnson (Macquarie University)
* Nicolas Behr (CNRS Université Paris Cité)
* Henning Urbat (FAU Erlangen-Nürnberg)
* Valentina Castiglioni (Reykjavik University)
* Fernando Orejas (Universitat Politècnica de Catalunya)
* Mehrnoosh Sadrzadeh (University College London)
* Georgiana Caltais (University of Twente)
* Sławomir Lasota (University of Warsaw)
* Aleks Kissinger (University of Oxford)
* Thomas Colcombet (CNRS, IRIF, Université de Paris)
* Sandra Kiefer (Max Planck Institute for Software Systems)
* Peter Selinger (Dalhousie University)
* Natasha Alechina (Utrecht University)
* Sara Kalvala (University of Warwick)


Chairs
------
Paolo Baldan (University of Padua)
Valeria de Paiva (Topos Institute, Berkeley)


Organiser
---------
* Larry Moss (local) (Indiana University)


 

Related Resources

CSITEC 2025   11th International Conference on Computer Science, Information Technology
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
ISC 2025   ISC High Performance 2025
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
ISVLSI 2025   IEEE Computer Society Annual Symposium on VLSI
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IJCSEIT 2024   International Journal of Computer Science, Engineering and Information Technology
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
SEAS 2025   14th International Conference on Software Engineering and Applications