========================================================= 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]