CALCO: Conference on Algebra and Coalgebra in Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 2011 4th Conference on Algebra and Coalgebra
Aug 29, 2011 - Sep 2, 2011 Winchester, UK Feb 13, 2011 (Feb 6, 2011)
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 : 2021

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 Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and
London (UK, 2019).

The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII.


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 the 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/coalgebra-based 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 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
- 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=calco2021

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


(Co)algebraic pearls
========================

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 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
========================

* Zena M. Ariola (University of Oregon)
* Paolo Baldan (University of Padova)
* Rui Soares Barbosa (International Iberian Nanotechnology Laboratory)
* Luis Caires (NOVA University Lisbon)
* Francisco Durán (University of Málaga)
* Brendan Fong (Massachusetts Institute of Technology)
* Fabrizio Romano Genovese (University of Pisa)
* Jules Hedges (University of Strathclyde, Glasgow)
* Thomas Hildebrandt (IT University of Copenhagen)
* Peter Jipsen (Chapman University)
* Wolfram Kahl (McMaster University)
* Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord)
* Jean Krivine (CNRS -- Université de Paris)
* Michele Loreti (University of Camerino)
* Sonia Marin (University College London)
* Manuel A. Martins (University of Aveiro)
* Annabelle McIver (Macquarie University)
* Hernan Melgratti (University of Buenos Aires)
* Koko Muroya (RIMS, Kyoto University)
* Elaine Pimentel (UFRN)
* Elvinia Riccobene (University of Milan)
* Alex Simpson (University of Ljubljana)
* David I. Spivak (Massachusetts Institute of Technology)
* Christine Tasson (LIP6 - Sorbonne Université)
* Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology)
* Maaike Zwart (University of Oxford)
* Rob van Glabbeek (Data61 - CSIRO)


Chairs
========================

* Fabio Gadducci (University of Pisa)
* Alexandra Silva (University College London)


Organisers
========================

* Ana Sokolova (local) (University of Salzburg)


Publicity Chair
========================

* Henning Basold (LIACS -- Leiden University)
 

Related Resources

Federated Learning in IOT Cybersecurity 2021   PeerJ Computer Science - Federated Learning for Cybersecurity in Internet of Things
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
IWoSR 2021   2021 International Workshop on Service Robotics (IWoSR 2021)
ICSR 2022   20th International Conference on Software and Systems Reuse
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
SENSORS Special Issue 2022   'Next Generation of Secure and Resilient Healthcare Data Processing'
CMCA 2022   11th International Conference on Control, Modelling, Computing and Applications
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
NeCoM 2022   14th International Conference on Networks & Communications
SCI,EI,SCOPUS 2022   2022 International Conference on Computer Science and 3D Printing Technologies (ICCS3PT 2022)