[Caml-list] COORDINATION 2025: 2nd CfP and deadline extension

[Antonio Ravara <aravara@fct.unl.pt>]

[Apologies for multiple postings]
**********************************

2nd Call for Papers COORDINATION 2025 - Lille, France, 16-20 June 2025
  https://www.discotec.org/2025

  SUBMISSION DEADLINE EXTENDED: 21 February 2025 (firm)

  Register your abstract asap


**********************************

HIGHLIGHTS

Submissions are via Easychair at:
https://easychair.org/conferences/?conf=coordination2025

Submission categories:
- Regular papers (*18* pages, not counting references and appendices)
- Survey papers (*25* pages, not counting references and appendices)
- Tool papers (*15* pages, not counting references and appendices)

* Important Dates *

   - Abstract submission: 31 January 2025 (recommended)

   - Paper submission: 7 February 2025

   - Artefact submission: 14 February 2025

   - Paper and Artefact notification: 28 March 2025

* 4 keynotes, 3 Tutorials, 3 workshops *

  **********************************

* Programme Committee co-chairs *
Cinzia Di Giusto (Université Côte d’Azur)
António Ravara (NOVA School of Science and Technology)

* Programme Committee *
S. Akshay (IIT Bombay, India)
Étienne André (Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, France)
Giovanni Bacci (Dept. of Computer Science, Aalborg University, Denmark)
Massimo Bartoletti (Dipartimento di Matematica e Informatica,
Universita’ degli Studi di Cagliari, Italy)
Georgiana Caltais (University of Twente, Netherlands)
Marco Carbone (IT University of Copenhagen, Denmark)
Ilaria Castellani (INRIA, France)
Valentina Castiglioni (Eindhoven University of Technology, Netherlands)
João Costa Seco (NOVA LINCS - NOVA University Lisbon, Portugal)
Pedro R. D’Argenio (Universidad Nacional de Córdoba - CONICET, Argentina)
Farzaneh Derakhshan (Illinois Tech University, USA)
Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA, 
Serbia)
Ludovic Henrio (CNRS, France)
Thomas Hildebrandt (University of Copenhagen, Denmark)
Daniel Hirschkoff (ENS Lyon, France)
Hanna Klaudel (IBISC, university of Evry, France)
Eva Kühn (Vienna University of Technology, Austria)
Carlos Gustavo Lopez Pombo (Escuela de Producción, Tecnologíay Medio
Ambiente, Universidad Nacional de Río Negro and CONICET, Argentina)
Roland Meyer (TU Braunschweig, Germany)
Barbara Re (University of Camerino, Italy)
Felix Stutz (University of Luxembourg, Luxembourg)
Meng Sun (Peking University, China)
Carolyn Talcott (SRI International, USA)
Frank Valencia (LIX, Ecole Polytechnique, France)
Gianluigi Zavattaro (Department of Computer Science and Engineering -
University of Bologna, Italy)
Maurice ter Beek (CNR, Italy)

* Artefact Evaluation Committee chair *
Duncan Attard, (University of Glasgow, UK)

  **********************************
* Main topics*

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

- Theoretical models and foundations for coordination: component
composition, concurrency, distribution, mobility; dynamic, spatial and
probabilistic aspects of coordination; logic, types, semantics.
- Coordination of multi-agent and collective systems: models,
languages, infrastructures, self-adaptation, self-organisation,
distributed solving, collective intelligence and emerging behaviour.
- Coordination and modern distributed computing: web services,
microservices, peer-to-peer networks, grid computing,
context-awareness, ubiquitous computing, mobile computing, reversible
computing.
- Session-based programming: models, languages, behavioural types, and 
tools.
- Models, languages, verification techniques and tools for interacting
smart contracts and (blockchain-based) decentralised applications.
- Languages, methodologies and tools for secure coordination.
- Cybersecurity aspects of coordinated systems, coordinated approaches
to cybersecurity.
- Nature- and bio-inspired approaches to coordination.
- Specification, refinement, and analysis of architectures: patterns
and styles, verification of functional and non-functional properties,
including performance and security aspects.
- Dynamic software architectures: distributed mobile code,
configuration, reconfiguration, networked computing, parallel,
high-performance and cloud computing.
- Coordination platforms for infrastructures of emergent new
application domains, like IoT, fog- and edge-computing.
- Programming methodologies, languages, middleware, tools, and
environments for the development and verification of coordinated
applications, including DevOps approaches.
- Coordination in business process management: coordination models for
business process management, process mining techniques and tools for
coordination models.
Industrial relevance of coordination and software architectures:
programming in the large, domain-specific software architectures and
coordination models, industry-driven efforts in coordination and case
studies.
- Interdisciplinary aspects of coordination.