The Coq mailing list

[Bas van den Heuvel <vdheuvel AT informatik.uni-freiburg.de>]

[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 (simon.bliudze AT inria.fr), 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)