COORDINATION 2027 - Call for Papers (CFP)

COORDINATION 2027 - 28th International Conference on Coordination Models and Languages

14–18 June 2027 - Augsburg, Germany

https://www.discotec.org/2027/coordination

COORDINATION 2027 is one of the three conferences of DisCoTec 2027, the 22th International Federated Conference on Distributed Computing Techniques, which will take place in Augsburg, Germany on 14–18 June 2027.

Important Dates (AoE)

• Paper abstract submission: 28 January 2027
• Paper submission: 04 February 2027
• Artefact submission: 11 February 2027
• Artefact kick-the-tires - problem reports: 22 February 2027
• Artefact kick-the-tires - author response: 01 March 2027
• Paper notification: 22 March 2027
• Artefact notification: 25 March 2027
• Camera-ready: 01 April 2027
• Conference: 14–18 June 2027

Submission Link

https://easychair.org/conferences/?conf=coordination2027

Scope

Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable and heterogeneous components. New models, architectures, languages and verification techniques are necessary to cope with the complexity induced by the demands of today’s software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.

Topics of Interest

Topics of interest encompass all areas of coordination, including (but not limited to) foundational contributions, engineering techniques, tools, applications, and inter-disciplinary aspects.

Foundations of Coordination

• Models and theories of concurrency, interaction, mobility, and distribution
• Semantics, logics, type systems, and behavioural equivalences
• Probabilistic, quantitative, timed, and hybrid models
• Formal verification, synthesis, and compositional reasoning

Languages, Protocols & Programming Models

• Language design and implementation
• Behavioural types and communication protocols, choreographies, orchestration
• Actor-based systems
• Bio-inspired and nature-inspired coordination

Distributed, Cloud & Data Coordination

• Microservices, web services, and middleware
• Distributed, reversible, grid, networked, parallel and high-performance computing and algorithms
• (Distributed) Run-time verification and monitoring
• Coordination across the continuum: IoT, edge, fog, cloud
• Cyber-physical coordination, context-awareness, pervasive computing, situatedness, and human-machine hybrid systems
• Decentralised systems, peer-to-peer computing, smart contracts and blockchain Applications

AI, Agentic, Autonomous & Cyber-Physical Coordination

• Coordination for AI, multi-agent, and agentic systems, including LLM-based agents
• AI-driven, learning-based, distributed, and federated coordination
• Collective intelligence, ensembles, swarms, self-organisation, and emergence
• Autonomous systems, robotics, cyber-physical systems, IoT, and digital twins
• Human-AI, human-agent, and human-machine coordination

Engineering Trustworthy & Adaptive Coordinated Systems

• Software architectures, engineering methods, and design patterns for coordinated systems
• Adaptation, reconfiguration, self-* systems, and DevOps
• Testing, debugging, runtime verification, monitoring, and observability
• Security, privacy, safety, dependability, resilience, and trust
• Sustainable and resource-aware coordination

Tools, Applications, Experience & Community Resources

• Coordination platforms, middleware, frameworks, simulation, and development tools
• Industrial applications, deployments, case studies, and experience reports
• Datasets, benchmarks, reproducibility, and empirical studies
• Application domains including robotics, smart cities, vehicular systems, cloud/edge, and IoT
• Interdisciplinary, socio-technical, and societal aspects of coordination

Keynote Speakers

• Nobuko Yoshida, University of Oxford, United Kingdom

Paper categories

• Regular papers (at most 18 pages, excluding references and appendices): describing thorough and complete research results and experience reports.

  • Regular papers may be combined with an artefact submission. Companion artefacts to regular submissions will be reviewed by the Artefact Evaluation Committee, but the acceptance of the paper is decoupled from the acceptance of the artefact (does not depend on it). The acceptance of the artefact, however, is conditional to the acceptance of the paper.

• Survey papers (at most 25 pages, excluding references and appendices): describing important results and success stories related to the topics of COORDINATION.

• Tool papers (at most 15 pages, excluding references and appendices): describing technological artefacts in the scope of the research topics of COORDINATION.

  • Tool papers should provide a clear account of the tool’s functionality, discuss the tool’s practical capabilities possibly with reference to the type and size of problems it can handle, and, when applicable, report on realistic case studies (possibly providing a rigorous experimental evaluation). Tool papers may also provide an account of the theoretical foundations, including relevant citations, and present design and implementation concerns, possibly including software architecture and core data structures. Papers that present extensions to existing tools should clearly describe the improvements or extensions with respect to previously published versions of the tool, possibly providing data on enhancements in terms of resources and capabilities. In addition, the tool artefact must be submitted separately for evaluation. Acceptance of the tool artefact is mandatory for tool papers to be accepted. The artefact will be evaluated by the Artefact Evaluation Committee. Authors are encouraged to provide a link to a publicly downloadable demo video of at most 10 minutes length. However, this is not a requirement.

• New Ideas, Visions & Position Papers (at most 6 pages, excluding references and appendices): presenting bold or emerging ideas, open challenges, research agendas, preliminary results, calls to action, or well-argued positions concerning the future of coordination models, languages, systems, and applications. Evaluation will emphasize novelty, relevance, potential impact, and quality of argument rather than completeness of evaluation.

• Journal-First Papers (at most 2 pages, excluding references and appendices): presenting recently published or accepted journal articles that are relevant to COORDINATION and have not previously been presented at a major conference or workshop. Journal-First submissions should consist of a short presentation proposal identifying the original journal publication and briefly explaining its relevance to the COORDINATION community. Submissions will be evaluated primarily on relevance, quality, and potential interest to the COORDINATION audience. Accepted submissions will be invited for presentation at the conference but will not be included in the proceedings.

See the website for EasyChair submission instructions.

Artefacts

Each type of paper can be accompanied by an artefact. Artefacts such as ancillary data, tools, and software will be assessed for availability, functionality, and reusability badges (following the EAPLS artifact badges guidelines). Acceptance of the artefact will result to the application of a badge on the corresponding paper. Since 2022, a selection of artefacts has been invited to be extended and submitted as an original software publication to a special issue (e.g., on the Science of Computer Programming OSP track).

Proceedings

The proceedings of COORDINATION, DAIS, and FORTE will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo.

Journal Special Issues

FORTE and COORDINATION program committees will be discussing opportunities to invite selected accepted papers to a special issue in a journal to be determined.

Program Committee

Chairs:

• Clément Aubert (Augusta University, USA)
• Cristina Seceleanu (Mälardalen University, Sweden)

Members:

• Fatemeh Ghassemi (University of Tehran, Iran)
• TBD

Artefact Evaluation Committee

Chair:

• TBD

Members:

• TBD

Steering Committee

Chair:

• Michele Loreti (Università di Camerino, Italy)

Members:

• Gul Agha (University of Illinois at Urbana Champaign, United States of America)
• Farhad Arbab (Centrum Wiskunde & Informatica, Universiteit Leiden, The Netherlands)
• Simon Bliudze (Institut national de recherche en sciences et technologies du numérique, France)
• Laura Bocchi (University of Kent, United Kingdom)
• Roberto Casadei (Università di Bologna, Italy)
• Ilaria Castellani (Institut national de recherche en sciences et technologies du numérique, France)
• Ferruccio Damiani (Università degli Studi di Torino, Italy)
• Ornela Dardha (University of Glasgow, United Kingdom)
• Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium)
• Rocco De Nicola (Scuola IMT Alti Studi Lucca, Italy)
• Giovanna di Marzo Serugendo (Université de Genève, Switzerland)
• Fatemeh Ghassemi (Dâneshgâh-e Tehrân, Iran)
• Tom Holvoet (Katholieke Universiteit Leuven, Belgium)
• Jean-Marie Jacquet (Université de Namur, Belgium)
• Sung-Shik Jongmans (Swat.engineering, Rijksuniversiteit Groningen, The Netherlands)
• Christine Julien (Virginia Polytechnic Institute and State University, United States of America)
• Eva Kühn (Technische Universität Wien, Austria)
• Alberto Lluch Lafuente (Danmarks Tekniske Universitet, Denmark)
• Antónia Lopes (Universidade de Lisboa, Portugal)
• Mieke Massink (Consiglio Nazionale delle Ricerche, Italy)
• José Proença (Instituto Superior de Engenharia do Porto, Portugal)
• Marjan Sirjani (Mälardalens universitet, Sweden)
• Carolyn Talcott (Stanford Research Institute, United States of America)
• Maurice ter Beek (Consiglio Nazionale delle Ricerche, Italy)
• Francesco Tiezzi (Università degli Studi di Firenze, Italy)
• Emilio Tuosto (Gran Sasso Science Institute, Italy)
• Vasco T. Vasconcelos (Universidade de Lisboa, Portugal)
• Mirko Viroli (Università di Bologna, Italy)
• Gianluigi Zavattaro (Università di Bologna, Italy)

Contacts

For any queries, please contact the PC chairs Clément Aubert aubert@math.cnrs.fr and Cristina Seceleanu cristina.seceleanu@mdu.se at coordination2027 [at] easychair.org.