[Agda] CALCO 2019: Second Call for Papers

[Henning Basold]

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

             CALL FOR PAPERS:  CALCO 2019

           8th International Conference on
        Algebra and Coalgebra in Computer Science

                    June 3-6, 2019

             University College London, UK

               Co-located with MFPS XXXV

         https://www.coalg.org/calco-mfps-2019/

==========================================================
Abstract submission:  April 3, 2019
Paper submission:     April 8, 2019
Author notification:  May 13, 2019
Final version due:    May 27, 2019
==========================================================

SCOPE
---------

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). 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), and Ljubljana (Slovenia,2017).

The eighth edition will be held in London, UK, colocated with MFPS XXXV.

INVITED SPEAKERS -- SPECIAL SESSION
-----------------------------------------

CALCO will have four invited speakers, and a joint special session with
MFPS.

We are pleased to announce the following invited speakers:

* Stefan Milius, University of Erlangen-Nuremberg, Germany
* Damien Pous, CNRS, ENS Lyon, France (with MFPS)
* Grigore Rosu, University of Illinois at Urbana-Champaign, US
* Mehrnoosh Sadrzadeh, Queen Mary University of London, UK (with MFPS)

Damien Pous will organise the joint CALCO and MFPS special session on
Coinduction for Verification and Certification.

SUBMISSIONS
--------------

CALCO invites three categories of submissions:

* Full technical papers that report
  - results of theoretical work on the mathematics of algebras
    and coalgebras,
  - the way these results can support methods and techniques for
    software development, as well as
  - experience with the transfer of the resulting technologies
    into industrial practice.

* Early ideas abstracts that lead to presentation of work in progress
  and original research proposals. PhD students and young researchers
  are particularly encouraged to contribute.

* Tool papers that report on the development and use of tools for
  algebraic and coalgebraic methods in computer science.

TOPICS OF INTEREST
--------------------

Typical, but not exclusive topics of interest are:

* Abstract models and logics
   - Automata and languages
   - Categorical semantics
   - Graph transformation
   - Modal logics
   - Proof systems
   - Relational systems
   - Term rewriting

* Algebraic and coalgebraic semantics
   - Abstract data types
   - Inductive and coinductive methods
   - Re-engineering techniques (program transformation)
   - Semantics of conceptual modelling methods and techniques
   - Semantics of programming languages

* Corecursion in programming languages
   - Corecursion in logic/constraint/functional/answer set programming
   - Corecursive type inference
   - Coinductive methods for proving program properties
   - Implementing corecursion
   - Applications

* Role of algebraic and coalgebraic methods in software and
  systems engineering
   - Development processes with algebraic and coalgebraic methods
   - Method integration
   - Usage guidelines

* Specialised models and calculi
   - Hybrid, probabilistic, and timed systems
   - Models and calculi of concurrent, distributed, mobile,
     cyber-physical, and context-aware computing
   - Systems theory and computational models (chemical,biological,etc.)

* String diagrams and network theory
   - Combinatorial approaches
   - Theory of PROPs and operads
   - Rewriting problems and higher-dimensional approaches
   - Automated reasoning with string diagrams
   - Applications of string diagrams
   - Connections with control theory, engineering, and concurrency

* System specification and verification
   - Algebraic and coalgebraic specification
   - Formal testing and quality assurance
   - Generative programming and model-driven development
   - Integration of formal specification techniques
   - Model-driven development
   - Process algebra
   - Specification languages, methods, and environments
   - Validation and verification

* Tools supporting algebraic and coalgebraic methods for
   - Advances in automated verification
   - Model checking
   - Theorem proving
   - Testing

* Quantum computing with algebra and coalgebra
   - Categorical semantics for quantum computing
   - Quantum calculi and programming languages
   - Foundational structures for quantum computing
   - Applications of quantum algebra

SUBMISSION GUIDELINES
------------------------

All submissions will be handled via EasyChair.

### Full technical papers ###

Prospective authors are invited to submit full technical papers in
English presenting original research. Submitted papers must be
unpublished and not submitted for publication elsewhere. Experience
papers are welcome, but they must clearly present general lessons
learned that would be of interest and benefit to a broad audience of
both researchers and practitioners.

Proceedings will be published in the Dagstuhl LIPIcs Leibniz
International Proceedings in Informatics series. Final papers should
be 12-15 pages long (excluding the bibliography and a brief appendix of
up to 5 pages from this page limit) in the format specified by LIPIcs
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
(Note 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.
Proofs omitted due to space limitations may be included in a clearly
marked appendix. Both an abstract and the full paper must be submitted
by their respective submission deadlines. At least one of the authors
must attend the conference to present the paper.

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 also being planned.


### Early ideas abstracts ###

Submissions should not exceed 2 pages in the format specified by LIPIcs
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
(Note that there is a new version of the style: lipics-v2019).

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. At least
one of the authors must attend the conference to present the work.


### Tool papers ###

Submissions should not exceed 5 pages in the format specified by LIPIcs
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
(Note that there is a new version of the style: lipics-v2019).

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. At least one of the authors
of each tool paper must attend the conference to demonstrate 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.


IMPORTANT DATES
-------------------

Abstract submission: April 3, 2019
Paper submission:    April 8, 2019
Author notification: May 13, 2019
Final version due:   May 27, 2019

PROGRAMME COMMITTEE
-----------------------

 * Filippo Bonchi (University of Pisa, Italy)
 * Corina Cirstea (University of Southampton, UK)
 * Bob Coecke (University of Oxford, UK)
 * José Luiz Fiadeiro (Royal Holloway University of London, UK)
 * Daniel Gaina (Kyushu University, Japan)
 * Sergey Goncharov (University of Erlangen-Nuremberg, Germany)
 * Ichiro Hasuo (National Institute of Informatics, Japan)
 * Chris Heunen (University of Edinburgh, UK)
 * Helle Hvid Hansen (Delft University of Technology, The Netherlands)
 * Magne Haveraaen (University of Bergen, Norway)
 * Bart Jacobs (Radboud University Nijmegen, The Netherlands)
 * Bartek Klin (University of Warsaw, Poland)
 * Alexander Knapp (University of Augsburg, Germany)
 * Ekaterina Komendantskaya (Heriot-Watt University, UK)
 * Barbara König (University of Duisburg-Essen, Germany)
 * Clemens Kupke (University of Strathclyde, UK)
 * Alexander Kurz (Chapman University, US)
 * Narciso Martí-Oliet (Complutense University Madrid, Spain)
 * Larry Moss (Indiana University, US)
 * Till Mossakowski (University of Magdeburg, Germany)
 * Peter Ölveczky (University of Oslo, Norway)
 * Dirk Pattinson (Australian National University, Australia)
 * Daniela Petrisan (University Paris Diderot, France)
 * Carlos Gustavo Lopez Pombo (Universidad de Buenos Aires, Argentina)
 * Damien Pous (CNRS, ENS Lyon, France)
 * Markus Roggenbach (PC co-chair, Swansea University, UK)
 * Juriaan Rot (Radboud University Nijmegen, The Netherlands)
 * Pierre-Yves Schobbens (University of Namur, Belgium)
 * Lutz Schröder (University of Erlangen-Nuremberg, Germany)
 * Ana Sokolova (PC co-chair, University of Salzburg, Austria)
 * Ionut Tutu (Romanian Academy, Romania)
 * Fabio Zanasi (University College London, UK)

LOCAL ORGANISERS
------------------------

 * Philippa Gardner (Imperial College London, UK)
 * Emanuele D’Osualdo (Imperial College London, UK)
 * Alexandra Silva (University College London, UK)
 * Fabio Zanasi (University College London, UK)

PUBLICITY CHAIR
------------------
 * Henning Basold (CNRS, ENS Lyon, France)