<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title></title>
</head>
<body>
<div name="messageBodySection">
<div dir="auto">[Apologies if you receive multiple copies of this message]<br />
<br />
========================================================= <br />
<br />
CALL FOR PAPERS: CALCO 2021 <br />
<br />
9th International Conference on <br />
Algebra and Coalgebra in Computer Science <br />
<br />
31 Aug - 03 Sep 2021 <br />
<br />
Salzburg, Austria (if possible) <br />
<br />
Co-located with MFPS XXXV <br />
<br />
<a href="https://www.coalg.org/calco-mfps2021/" target="_blank">https://www.coalg.org/calco-mfps2021/</a><br />
<br />
========================================================== <br />
Paper submission: 3 June 2021 <br />
Author notification: 29 July 2021 <br />
Final version due: 12 August 2021 <br />
========================================================== <br />
<br />
<br />
Scope <br />
======================== <br />
<br />
Algebraic and coalgebraic methods and tools are a mainstay of computer <br />
science. From data types to development techniques and specification <br />
formalisms, both theoreticians and practitioners have benefited from <br />
the large body of research proposed and implemented since the <br />
pioneering works of the 1960s. <br />
<br />
CALCO aims to bring together researchers with interests in both <br />
foundational and applicative uses of algebra and coalgebra in <br />
computer science, traditional as well as emerging ones <br />
<br />
CALCO is a high-level, bi-annual conference formed by joining the forces <br />
and reputations of CMCS (the International Workshop on Coalgebraic <br />
Methods in Computer Science) and WADT (the Workshop on Algebraic <br />
Development Techniques). Previous CALCO editions took place in <br />
Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), <br />
Winchester (UK, 2011), Warsaw (Poland, 2013), <br />
Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and <br />
London (UK, 2019). <br />
<br />
The 9th edition will be held in Salzburg, Austria, colocated with <br />
MFPS XXXVII. <br />
<br />
<br />
Submission Categories <br />
======================== <br />
<br />
CALCO invites papers relating to all aspects of algebraic and <br />
coalgebraic theory and applications, and distinguishes between four <br />
categories of submissions. <br />
<br />
1. Regular papers that report <br />
* results on theoretical foundations <br />
* novel methods and techniques for software development <br />
* experiences with the technology transfer to industry. <br />
<br />
2. (Co)Algebraic Pearls papers that <br />
* present possibly known material in a novel and enlightening way. <br />
<br />
3. Early ideas abstracts that lead to <br />
* presentations of work in progress <br />
* proposals for original venues of research. <br />
<br />
4. Tool presentation papers that <br />
* report on the features and uses of algebraic/coalgebra-based tools. <br />
<br />
<br />
Topics of Interests <br />
======================== <br />
<br />
All topics relating to algebraic and coalgebraic theory and applications <br />
are of interest for CALCO, and among them <br />
<br />
* Models and logics <br />
- Automata and languages <br />
- Graph transformations and term rewriting <br />
- Modal logics <br />
- Proof systems <br />
- Relational systems <br />
<br />
* Algebraic and coalgebraic semantics <br />
- Abstract data types <br />
- Re-engineering techniques (program transformation) <br />
- Semantics of conceptual modelling methods and techniques <br />
- Semantics of programming languages <br />
<br />
* Methodologies in software and systems engineering <br />
- Development processes <br />
- Method integration <br />
- Usage guidelines <br />
<br />
* Specialised models and calculi <br />
- Hybrid, probabilistic, and timed systems <br />
- Concurrent, distributed, mobile, cyber-physical, <br />
and context-aware computational paradigms <br />
- Systems theory and computational models (chemical, biological, etc.) <br />
<br />
* System specification and verification <br />
- Formal testing and quality assurance <br />
- Generative programming and model-driven development <br />
- Integration of formal specification techniques <br />
- Model-driven development <br />
- Specification languages, methods, and environments <br />
<br />
* Tools supporting algebraic and coalgebraic methods for <br />
- Advances in automated verification <br />
- Model checking <br />
- Theorem proving <br />
- Testing <br />
<br />
* String diagrams and network theory <br />
- Theory of PROPs and operads <br />
- Rewriting problems and higher-dimensional approaches <br />
- Automated reasoning with string diagrams <br />
- Applications of string diagrams <br />
<br />
* Quantum computing <br />
- Categorical semantics for quantum computing <br />
- Quantum calculi and programming languages <br />
- Foundational structures for quantum computing <br />
- Applications of quantum algebra <br />
<br />
<br />
Submissions Guidelines <br />
======================== <br />
<br />
All submissions will be handled via EasyChair: <br />
<a href="https://easychair.org/conferences/?conf=calco2021" target="_blank">https://easychair.org/conferences/?conf=calco2021</a><br />
<br />
The format for all submissions is specified by LIPIcs. Please use the <br />
latest version of the style: <br />
<a href="http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/" target="_blank">http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/</a><br />
<br />
It is recommended that submissions adhere to that format and length. <br />
Submissions that are clearly too long may be rejected immediately. <br />
<br />
<br />
Regular papers <br />
======================== <br />
<br />
Prospective authors are invited to submit full papers in English <br />
presenting original research. Submitted papers must be unpublished and <br />
not submitted for publication elsewhere. Regular papers should be <br />
maximum 15 pages long, excluding references. Proofs omitted due to space <br />
limitations may be included in a clearly marked appendix. Each <br />
submission will be evaluated by at least three reviewers. <br />
<br />
Proceedings will be published in the Dagstuhl LIPIcs Leibniz <br />
International Proceedings in Informatics series. <br />
<br />
A special issue of the open access journal Logical Methods in Computer <br />
Science (<a href="http://www.lmcs-online.org" target="_blank">http://www.lmcs-online.org</a>), containing extended versions of <br />
selected papers, is planned. <br />
<br />
<br />
(Co)algebraic pearls <br />
======================== <br />
<br />
This is a new submission category in 2021. Explaining a known idea in a <br />
new way may make as strong a contribution as inventing a new idea. We <br />
encourage the submission of pearls: elegant essays that illustrate an <br />
idea in a beautiful or didactically clever way, perhaps by developing an <br />
application. Pearls are typically short and concise and so should not be <br />
longer than regular papers in the format specified by LIPIcs. Authors <br />
who feel they need a bit more space should consult with the PC <br />
co-chairs. The accepted papers will be included in the final proceedings <br />
of the conference. Each submission will be evaluated by at least two reviewers. <br />
<br />
<br />
Early ideas abstracts <br />
======================== <br />
<br />
Submissions should not exceed 2 pages in the format specified by LIPIcs. <br />
The volume of selected abstracts will be made available on arXiv and on <br />
the CALCO pages. Authors will retain copyright, and are also encouraged <br />
to disseminate the results by subsequent publication elsewhere. Each <br />
submission will be evaluated by at least two reviewers. <br />
<br />
<br />
Tool papers <br />
======================== <br />
<br />
Submissions should not exceed 5 pages in the format specified by LIPIcs. <br />
The accepted tool papers will be included in the final proceedings of <br />
the conference. The tools should be made available on the web at the <br />
time of submission for download and evaluation. Each submission will be <br />
evaluated by at least three reviewers, and one or more of the reviewers <br />
will be asked to download and use the tool. <br />
<br />
<br />
Best Paper and Best Presentation Awards <br />
======================== <br />
<br />
This edition of CALCO will feature two awards: a Best Paper Award whose <br />
recipients will be selected by the PC before the conference and a <br />
Best Presentation Award, elected by the participants. <br />
<br />
<br />
Programme Committee <br />
======================== <br />
<br />
* Zena M. Ariola (University of Oregon) <br />
* Paolo Baldan (University of Padova) <br />
* Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) <br />
* Luis Caires (NOVA University Lisbon) <br />
* Francisco Durán (University of Málaga) <br />
* Brendan Fong (Massachusetts Institute of Technology) <br />
* Fabrizio Romano Genovese (University of Pisa) <br />
* Jules Hedges (University of Strathclyde, Glasgow) <br />
* Thomas Hildebrandt (IT University of Copenhagen) <br />
* Peter Jipsen (Chapman University) <br />
* Wolfram Kahl (McMaster University) <br />
* Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) <br />
* Jean Krivine (CNRS -- Université de Paris) <br />
* Michele Loreti (University of Camerino) <br />
* Sonia Marin (University College London) <br />
* Manuel A. Martins (University of Aveiro) <br />
* Annabelle McIver (Macquarie University) <br />
* Hernan Melgratti (University of Buenos Aires) <br />
* Koko Muroya (RIMS, Kyoto University) <br />
* Elaine Pimentel (UFRN) <br />
* Elvinia Riccobene (University of Milan) <br />
* Alex Simpson (University of Ljubljana) <br />
* David I. Spivak (Massachusetts Institute of Technology) <br />
* Christine Tasson (LIP6 - Sorbonne Université) <br />
* Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) <br />
* Maaike Zwart (University of Oxford) <br />
* Rob van Glabbeek (Data61 - CSIRO) <br />
<br />
<br />
Chairs <br />
======================== <br />
<br />
* Fabio Gadducci (University of Pisa) <br />
* Alexandra Silva (University College London) <br />
<br />
<br />
Organisers <br />
======================== <br />
<br />
* Ana Sokolova (local) (University of Salzburg) <br />
<br />
<br />
Publicity Chair <br />
======================== <br />
<br />
* Henning Basold (LIACS -- Leiden University)</div>
</div>
</body>
</html>