<div dir="ltr">Deadline Extension Call For Papers<br>COORDINATION 2024<br>26th International Conference on Coordination Models and Languages<br><br>Part of 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024), together with FORTE and DAIS conferences.<br><br>Dates: June 18-20, 2024<br>Location: University of Groningen, The Netherlands<br>Website: <a href="https://www.discotec.org/2024/coordination">https://www.discotec.org/2024/coordination</a><br><br>(Extended) Paper submission deadline: February 23, 2024<br>Submission Link: <a href="https://easychair.org/conferences/?conf=coordination2024">https://easychair.org/conferences/?conf=coordination2024</a><br><br><br>Scope<br>========<br>Modern information systems rely increasingly on combining concurrent,<br>distributed, mobile, adaptive, reconfigurable, and heterogeneous components. New<br>models, architectures, languages, and verification techniques are necessary to<br>cope with the complexity induced by the demands of today's software development.<br>Coordination languages have emerged as a successful approach, in that they<br>provide abstractions that cleanly separate behaviour from communication,<br>therefore increasing modularity, simplifying reasoning, and ultimately enhancing<br>software development. Building on the success of the previous editions, this<br>conference provides a well-established forum for the growing community of<br>researchers interested in models, languages, architectures, and implementation<br>techniques for coordination.<br><br>Main Topics<br>==============<br>Topics of interest encompass all areas of coordination, including (but not<br>limited to) coordination-related aspects of:<br><br>- Theoretical models and foundations for coordination:<br>   component composition, concurrency, distribution, mobility; dynamic, spatial<br>   and probabilistic aspects of coordination; logic, types, semantics.<br>- Coordination of multi-agent and collective systems:<br>   models, languages, infrastructures, self-adaptation, self-organisation,<br>   distributed solving, collective intelligence and emerging behaviour.<br>- Coordination and modern distributed computing:<br>   web services, microservices, peer-to-peer networks, grid computing,<br>   context-awareness, ubiquitous computing, mobile computing, reversible<br>   computing.<br>- Session-based programming: <br>   models, languages, behavioural types, and tools.<br>- Models, languages, verification techniques, and tools for<br>   interacting smart contracts and (blockchain-based) decentralised<br>   applications.<br>- Languages, methodologies, and tools for secure coordination.<br>- Cybersecurity aspects of coordinated systems, coordinated approaches to<br>   cybersecurity. <br>- Nature- and bio-inspired approaches to coordination. <br>- Specification, refinement, and analysis of architectures:<br>   patterns and styles, verification of functional and non-functional<br>   properties, including performance and security aspects.<br>- Dynamic software architectures:<br>   distributed mobile code, configuration, reconfiguration, networked computing,<br>   parallel, high-performance and cloud computing.<br>- Coordination platforms for infrastructures of emergent new application <br>   domains, like IoT, fog-, and edge-computing.<br>- Programming methodologies, languages, middleware, tools, and environments<br>   for the development and verification of coordinated applications, including<br>   DevOps approaches.<br>- Coordination in business process management:<br>   coordination models for business process management, process mining<br>   techniques and tools for coordination models.<br>- Industrial relevance of coordination and software architectures:<br>   programming in the large, domain-specific software architectures and<br>   coordination models, industry-driven efforts in coordination and case<br>   studies.<br>- Interdisciplinary aspects of coordination.<br><br>Invited Speakers<br>==================<br>Marieke Huisman, University of Twente, The Netherlands<br>Laura Kovács, Vienna University of Technology, Austria<br>Paulo Veríssimo, KAUST, Kingdom of Saudi Arabia<br><br>Important dates<br>==================<br>- Abstract submission: February 16, 2024<br>- Paper submission: February 23, 2024<br>- Paper notification: April 5, 2024<br>- Camera-ready: April 24, 2024<br><br>Dates are Anywhere on Earth (AoE).<br><br>Submission<br>=============<br>We invite you to submit:<br><br>- Regular papers (7-15 pages, not counting references):<br>   describing thorough and complete research results and experience reports. In<br>   a clear case of need, as an exception, authors may ask for permission via<br>   email to the PC co-chairs to exceed the paper's max length by at most 10%,<br>   under the condition that last-minute shortening would really damage the<br>   clarity of the paper or result in non-submission. The authors must make a<br>   draft of the paper available to the PC co-chairs via EasyChair.<br><br>- Short papers (4-6 pages, not counting references):<br>   describing research in progress or opinion papers on the past of<br>   COORDINATION research, on the current state of the art, or on prospects for<br>   the years to come.<br><br>- Survey papers (16-25 pages, not counting references):<br>   describing important results and success stories related to the topics of<br>   COORDINATION.<br><br>- Tool papers (4-15 pages, not counting references):<br>    describing technological artefacts in the scope of the research topics of  <br>    COORDINATION. Tool papers should provide a clear account of the tool's<br>    functionality, discuss the tool's practical capabilities possibly with<br>    reference to the type and size of problems it can handle, and, when<br>    applicable, report on realistic case studies (possibly providing a rigorous<br>    experimental evaluation). Tool papers may also provide an account of the<br>    theoretical foundations, including relevant citations, and present design<br>    and implementation concerns, possibly including software architecture and<br>    core data structures. Papers that present extensions to existing tools<br>    should clearly describe the improvements or extensions with respect to<br>    previously published versions of the tool, possibly providing data on<br>    enhancements in terms of resources and capabilities. Papers may contain a<br>    link to a publicly downloadable MPEG-4 demo video of at most 10 minutes<br>    length.<br><br>Artefacts<br>============<br>Following ACM's definition [1], an artefact is "a digital object that was either<br>created by the authors to be used as part of the study or generated by the<br>experiment itself. For example, artifacts can be software systems, scripts used<br>to run experiments, input datasets, raw data collected in the experiment, or<br>scripts used to analyze results".<br><br>To improve and reward reproducibility and to give more visibility and credit to<br>the effort of tool developers in the COORDINATION community, authors of<br>submitted papers are invited to submit publicly available artefacts (using<br>permanent repositories such as Software Heritage, Zenodo, etc.), which will be<br>associated with their paper for evaluation. Based on the result of the artefact<br>evaluation, one or more badges may be applied to a paper. Specifically,<br>COORDINATION uses the EAPLS badging scheme [2], which in its own turn is based<br>on and consistent with the ACM initiative.<br><br>Artefact submission is mandatory for tool papers and the result of the artefact<br>evaluation will be considered in the tool paper's acceptance decision. Instead,<br>artefact submission is optional for all the other paper categories and the<br>result of the artefact evaluation will not affect the paper's acceptance<br>decision but may affect the best paper selection.<br><br>Dates (AoE):<br>- Artefact submission: February 29, 2024<br>- Kick-the-tires phase:<br>  - Problem reports from reviewers: 8 March, 2024<br>  - Authors' response to reviewers: 15 March, 2024<br>- Artefact notification: March 29, 2024<br><br>[1] <a href="https://www.acm.org/publications/policies/artifact-review-and-badging-current">https://www.acm.org/publications/policies/artifact-review-and-badging-current</a><br>[2] <a href="https://eapls.org/pages/artifact_badges">https://eapls.org/pages/artifact_badges</a><br><br>Proceedings<br>==============<br>The conference proceedings, consisting of accepted submissions from any paper<br>category, will be published by Springer in LNCS-IFIP volumes.<br><br>Special issues<br>=================<br>After the conference, selected papers from<br>the COORDINATION and FORTE programmes (except for tool papers) will be invited to a special issue of the<br>Logical Methods in Computer Science journal. The paper submission deadline is<br>planned for October/November 2024, and the notifications for the first round<br>of reviews around February 2025. Selected accepted tool papers, instead, will be<br>invited to a special issue of a reputable journal with a track dedicated to<br>software, like the Journal of Science of Computer Programming's Software Track.<br><br>The most recent special issue is out: COORDINATION 2021, Special Issue of<br>Logical Methods in Computer Science, edited by Ferruccio Damiani and Ornela<br>Dardha, available at: <a href="https://lmcs.episciences.org/volume/view/id/449">https://lmcs.episciences.org/volume/view/id/449</a>. <br>Previous special issues can be found at<br><a href="https://www.discotec.org/2024/coordination#proceedings-and-special-issues-from-previous-editions">https://www.discotec.org/2024/coordination#proceedings-and-special-issues-from-previous-editions</a>.<br><br>Programme Committee chairs<br>=============================<br>Ilaria Castellani (INRIA Sophia Antipolis, France)<br>Francesco Tiezzi (University of Florence, Italy)<br><br>Publicity chair<br>==================<br>Saverio Giallorenzo (University of Bologna, Italy)<br><br>Programme Committee<br>======================<br>Giorgio Audrito (University of Turin, Italy)  <br>Laura Bocchi (University of Kent, UK)<br>Chiara Bodei (University of Pisa, Italy)<br>Marcello Bonsangue (Leiden University, The Netherlands)<br>Silvia Crafa (University of Padova, Italy)<br>Cinzia Di Giusto (Université Côte d'Azur, France)<br>Paola Giannini (University of Piemonte Orientale, Italy)<br>Hannah Gommerstadt (Vassar College, USA)<br>Heerko    Groefsema (University of Groningen, The Netherlands)<br>Thomas Hildebrandt (University of Copenhagen, Denmark)<br>Sung-Shik Jongmans (Open University of the Netherlands, The Netherlands)<br>Dimka  Karastoyanova (University of Groningen, The Netherlands)<br>Jean Krivine (IRIF, CNRS, France)<br>Eva Kühn (Vienna University of Technology, Austria) <br>Roland Kuhn (Actyx, Germany)<br>Alberto Lluch Lafuente (Technical University of Denmark, Denmark) <br>Antónia Lopes (University of Lisbon, Portugal)<br>Michele Loreti (University of Camerino, Italy)<br>Mieke Massink (CNR-ISTI, Italy)<br>Hernán Melgratti (University of Buenos Aires, Argentina)<br>Maurizio Murgia (Gran Sasso Science Institute, Italy)<br>Anna Philippou (University of Cyprus, Cyprus)<br>José Proença (University of Porto, Portugal)<br>Violet Ka I Pun (Western Norway University of Applied Sciences, Norway)<br>Barbara Re (University of Camerino, Italy)<br>Marjan Sirjani (Mälardalen University, Sweden)<br>Meng Sun (Peking University, China)<br>Carolyn Talcott (SRI International, USA)<br>Peter Thiemann (Universität Freiburg, Germany)<br>Mirko Viroli (University of Bologna, Italy) <br>Franco Zambonelli (University of Modena and Reggio Emilia, Italy) <br><br>Artefact Evaluation Committee chair<br>======================================<br>Rumyana Neykova (Brunel University London, UK)<br><br>Artefact Evaluation Committee<br>----------------------------------------<br>Nour Ali (Brunel University London, UK)<br>Tiago Cogumbreiro (UMass Boston, USA)<br>Saverio Giallorenzo (University of Bologna, Italy)<br>Arwa Hameed (University of Glasgow, UK)<br>Keigo Imai (DeNA, Japan)<br>Omar Inverso (Gran Sasso Science Institute, Italy)<br>Doriana Medic (University of Turin, Italy)<br>Mário Pereira (NOVA School of Science and Technology, Portugal)<br>Lorenzo Rossi (University of Camerino, Italy)<br>Cristina Seceleanu( Mälardalen University, Sweden)<br>Felix Stutz (MPI SWS, Germany)<br>Fangyi Zhou (Amazon, UK)<br><br>Steering Committee<br>=====================<br>Gul Agha (University of Illinois at Urbana Champaign, USA)<br>Farhad Arbab (CWI and Leiden University, The Netherlands)<br>Simon Bliudze (INRIA Lille, France)<br>Laura Bocchi (University of Kent, UK)<br>Ferruccio Damiani (University of Turin, Italy)<br>Ornela Dardha (University of Glasgow, UK)<br>Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium)<br>Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy)<br>Giovanna di Marzo Serugendo (Université de Genève, Switzerland)<br>Tom Holvoet (KU Leuven, Belgium)<br>Jean-Marie Jacquet (University of Namur, Belgium)<br>Sung-Shik Jongmans (Open University of the Netherlands, Netherlands)<br>Christine Julien (University of Texas at Austin, USA)<br>Eva Kühn (Vienna University of Technology, Austria)<br>Alberto Lluch Lafuente (Technical University of Denmark, Denmark)<br>Antónia Lopes (University of Lisbon, Portugal)<br>Michele Loreti (Università di Camerino, Italy)<br>Mieke Massink (ISTI-CNR, Pisa, Italy) - chair<br>José Proença (University of Porto, Portugal)<br>Rosario Pugliese (Università di Firenze, Italy)<br>Marjan Sirjani (Mälardalen University, Sweden)<br>Carolyn Talcott (SRI International, California, USA)<br>Maurice ter Beek (CNR-ISTI, Italy) <br>Emilio Tuosto (Gran Sasso Science Institute, Italy)<br>Vasco T. Vasconcelos (University of Lisbon, Portugal)<br>Mirko Viroli (Università di Bologna, Italy)<br>Gianluigi Zavattaro (Università di Bologna, Italy)<br></div>