COORDINATION 2027

Submission timeline

• 28 Jan 2027 Abstract registration AoE
• 4 Feb 2027 Full paper AoE
• 22 Mar 2027 Notification

• 14 Jun 2027 Conference opens

What to submit

Format

18 pages LNCS + bibliography (regular paper)

Proceedings

Springer LNCS IFIP — Paywalled, for-profit

Reviewing

Single anonymous

Artifacts

Other submission category are proposed, and an Artefact Evaluation Committee will review submitted artefacts.

Awards

Best paper award

Chairs and
invited speakers

Mixed genders

chairs 1 man, 1 womaninvited speakers 0 men, 1 woman

How this is counted

Journal

Invited extended versions of selected papers will be considered for a special issue (to be confirmed).

Co-located with

FORTE 2027

Call for papers

• As first published COORDINATION-2027.txt · TXT · shown below

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at www.discotec.org/2027/coordination.

# 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 models and theories (with a particular emphasis on formal methods), programming languages, engineering techniques, tools, applications, and interdisciplinary aspects.
 
###Formal Methods and Foundations of Coordination
 
* Formal methods for the specification, modeling, analysis, and verification of coordinated and distributed systems
* Models and theories of concurrency, interaction, mobility, and distribution
* Formal semantics, logics, type systems, and behavioral equivalences
* Model checking, theorem proving, synthesis, and compositional reasoning
* Probabilistic, quantitative, timed, and hybrid models and their analysis
 
### 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 (https://www.cs.ox.ac.uk/people/nobuko.yoshida/) 
 
## 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 (except *Journal-First papers*), 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)
 
## 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@easychair.org.