Photo by Robin Mathlener on Unsplash

COORDINATION 2024 - 26th International Conference on Coordination Models and Languages

COORDINATION 2024 is one of the three conferences of DisCoTec 2024.

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, rchitectures, and implementation techniques for coordination.

Main topics

Topics of interest encompass all areas of coordination, including (but not limited to) coordination related aspects of:

Keynote speakers

Important dates (extended)

Deadlines expire at 23:59 anywhere on earth on the dates displayed above.

Accepted Papers

Go to the list of accepted papers.

Submissions

Submission site

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

Publication

Authors are invited to submit papers electronically in PostScript or PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed according to the above submission dates and submissions are handled through the EasyChair conference management system, accessible from the above submission site.

Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP’s Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions must not exceed the total page number limit (see below) prepared using Springer’s LNCS style. Submissions not adhering to the above specified constraints may be rejected without review.

Submission categories:

Artefacts

Following ACM’s definition, an artefact is “a digital object that was either created by the authors to be used as part of the study or generated by the experiment itself. For example, artifacts can be software systems, scripts used to run experiments, input datasets, raw data collected in the experiment, or scripts used to analyze results”.

To improve and reward reproducibility and to give more visibility and credit to the effort of tool developers in the COORDINATION community, authors of submitted papers are invited to submit publicly available artefacts (using permanent repositories such as Software Heritage, Zenodo, etc.), which will be associated with their paper for evaluation. Based on the result of the artefact evaluation, one or more badges may be applied to a paper. Specifically, COORDINATION uses the EAPLS badging scheme), which in its own turn is based on and consistent with the ACM initiative.

Artefact submission is mandatory for tool papers and the result of the artefact evaluation will be considered in the tool paper’s acceptance decision. Instead, artefact submission is optional for all the other paper categories and the result of the artefact evaluation will not affect the paper’s acceptance decision but may affect the best paper selection.

Dates (AoE):

Detailed information on artefact submission and evaluation is available here.

Proceedings

The conference proceedings, consisting of accepted submissions from any paper category, will be published by Springer in LNCS-IFIP volumes.

Special issues

After the conference, selected papers from COORDINATION and FORTE programmes (except for tool papers) will be invited to a special issue of the Logical Methods in Computer Science journal. The paper submission deadline is planned for October/November 2024, and the notifications for the first round of reviews around February 2025. Selected tool papers, instead, will be invited to a special issue of a reputable journal with a track dedicated to software, like the Journal of Science of Computer Programming’s Software Track.

Proceedings and Special Issues from Previous Editions

Proceedings The proceedings of previous editions of COORDINATION are available on SpringerLink

Special Issues Special issues hosted by more recent editions of COORDINATION are listed below.

Programme Committee co-chairs

Publicity chair

Programme Committee

Artefact Evaluation Committee chair

Artefact Evaluation Committee

Steering Committee

Sponsors & Supporters

IFIP logo      
eapls-logo      
rug-logo       In collaboration with Microservices Community