[Hol-info] CfP: DisCoTec 2025

[Bas v. d. H. <vdh...@in...>]

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

 Joint Call for Papers

 DisCoTec 2025

 20th International Federated Conference on Distributed Computing Techniques

 Lille, France, 16-20 June 2025

 Submission deadline: 7 February 2025

 https://www.discotec.org/2025

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

DisCoTec 2025 is one of the major events sponsored by the International
Federation for Information Processing (IFIP) and the European Association
for Programming Languages and Systems (EAPLS). It gathers conferences and
satellite events that cover a broad spectrum of distributed computing
subjects — from theoretical foundations and formal description techniques,
testing and verification methods, to language design and system
implementation approaches. The three main conferences are:

* COORDINATION 2025 - International Conference on Coordination Models and
Languages
* DAIS 2025 - International Conference on Distributed Applications and
Interoperable Systems
* FORTE 2025 - International Conference on Formal Techniques for
Distributed Objects, Components, and Systems

DisCoTec 2025 is organised by Inria Lille and the University of Lille. It
will be hosted by Polytech Lille.


* NEW: Accommodations for parents of young children *

  Subject to budget availability, we are planning to make special
logistical arrangements for conference participants travelling with young
children (and potentially accompanying persons). We invite interested
persons to contact the General Chair (sim...@in...), as soon as
possible to discuss the arrangements that might be applicable.


* Keynote Speakers *

  - Alysson Bessani (Universidade de Lisboa, Portugal)

  - Hélène Coullon (IMT Atlantique, France)

  - Omar Inverso (GSSI, Italy)

  - Burcu Ozkan (TU Delft, The Netherlands)


* Important Dates (for all main conferences) *

  All deadlines expire at 23:59 anywhere on earth.

  - Abstract submission: 31 January 2025

  - Paper submission: 7 February 2025

  - Paper notification: 28 March 2025

  - Camera-ready: 23 April 2025 (TBC)

  - DisCoTec conference: 16-20 June 2025

  See each conference site for topics of interest, paper categories, and
submission instructions.


* Main Conferences *

  - COORDINATION (https://www.discotec.org/2025/coordination)
    27rd International Conference on Coordination Models and Languages
    PC Chairs: Cinzia Di Giusto (Université Côte d’Azur, FR) and António
Ravara (NOVA School of Science and Technology, PT)

  - DAIS (https://www.discotec.org/2025/dais)
    25st International Conference on Distributed Applications and
Interoperable Systems
    PC Chairs: Daniel Balouek (INRIA, FR) and Ibéria Medeiros (University
of Lisbon, PT)

  - FORTE (https://www.discotec.org/2025/forte)
    45st International Conference on Formal Techniques for Distributed
Objects, Components and Systems
    PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio
A. Mezzina (University of Urbino, IT)


* Artefact Evaluation Chairs *

  - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy)

  - COORDINATION: Duncan Attard (University of Glasgow, UK)

  - DAIS: Vinicius Cogo (Ciências/ULisboa, Portugal)

  - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Italy)


* Proceedings *

  Main conference proceedings 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 *

  Selected papers accepted at the main conferences will be invited for
submission to special issues in high-quality journals, such as:

  - Logical Methods in Computer Science

  - Science of Computer Programming (Software Track).


* Organizing Committee *

  - Simon Bliudze, General Chair (Inria Center at the University of Lille,
France)
  - Larisa Safina, Satellite Events Chair (Inria Center at the University
of Lille, France)
  - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of Lille,
France)
  - Imen Sayar, Gender equality / Women in Science co-Chair (University of
Lille, France)
  - Manel Barkallah, Gender equality / Women in Science co-Chair
(University of Namur, Belgium)
  - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Germany)
  - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, UK)
  - Rémy Raes, Head of student volunters (Inria Center at the University of
Lille, France)


* Steering Committee *

  - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy)
  - Adrian Francalanza (University of Malta, Malta; Chair)
  - Ivan Lanese (University of Bologna/INRIA, Italy)
  - Alberto Lluch Lafuente (Technical University of Denmark, Denmark)
  - Mieke Massink (CNR-ISTI, Italy)
  - Luís Veiga (INESC-ID, Universidade de Lisboa, Portugal)
  - Gianluigi Zavattaro (University of Bologna, Italy)
  - Carla Ferreira (NOVA University of Lisbon, Portugal)
  - Jorge A. Pérez (University of Groningen, The Netherlands)