[hpc-announce] Second Joint Call for Papers - DisCoTec 2020

[Kiko Fernandez Reyes]

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

   Joint Call for Papers

   15th International Federated Conference on
   Distributed Computing Techniques

   DisCoTec 2020

   Valletta, Malta, 15-19 June 2020

   https://www.discotec.org/2020
************************************************************************


DisCoTec 2020 is one of the major events sponsored by the International
Federation for Information Processing (IFIP). It gathers conferences and
workshops that cover a broad spectrum of distributed computing subjects,
ranging from theoretical foundations and formal description techniques
to systems research issues.


* Main Conferences *

  - COORDINATION (https://www.discotec.org/2020/coordination)
    22st IFIP International Conference on Coordination Models and
    Languages
    PC Chairs: Simon Bliudze (Inria Lille – Nord Europe, France) and
Laura Bocchi
    (University of Kent, UK)

  - DAIS (https://www.discotec.org/2020/dais)
    20th IFIP International Conference on Distributed Applications
    and Interoperable Systems
    PC Chairs: Anne Remke (University of Münster, Germany) and
    Valerio Schiavoni (University of Neuchâtel, Switzerland)

  - FORTE (https://www.discotec.org/2020/forte)
    40th IFIP International Conference on Formal Techniques for
    Distributed Objects, Components and Systems
    PC Chairs: Alexey Gotsman (IMDEA Software Institute, Spain)
    and Ana Sokolova (University of Salzburg, Austria)


* Important Dates (for all main conferences) *

  - February 3, 2020: Submission of abstract
  - February 14, 2020: Submission of papers
  - April 10, 2020: Notification of accepted papers
  - April 24, 2020:  Camera ready
  - June 15-19, 2020: Conferences and Workshops


* Keynote Speakers *

- Holger Hermanns, Saarland University
- Ken McMillan, Microsoft Research, Redmond
- Peter Kriens, OSGi Alliance


* Submission Categories *

COORDINATION:
Full papers (up to 15 pages + 2 pages references),
Short papers (up to 6 pages + 2 pages references),
Survey papers (up to 25 pages + 2 pages references),
Tool papers (up to 6 pages + 2 pages references + 10min demo video).

DAIS
Full papers (up to 15 pages + 2 pages references).
Full practical experience reports (up to 15 pages + 2 pages references)
Work-in-progress (up to 6 pages + 2 pages references)

FORTE
Full papers (page limit: up to 15 pages + 2 pages references)
Short papers (page limit: up to 6 pages + 2 pages references)
(Rough diamonds, Tool (demonstration) papers, Position papers)
“Journal First” papers (page limit: up to 2 pages, including references)
More information is available on the conference website.


* Proceedings *

The proceedings of DisCoTec 2020 main conferences will be published in
Springer's LNCS-IFIP volumes.


* Special issue *

The individual conferences will organise special issues of extended and
selected papers in reputable journal such as Logical Methods in Computer
Science and Journal of Parallel and Distributed Computing.

More information is available at the conference website.


* Submission Instructions *

Authors are invited to submit their contributions electronically in PDF
using a two-phase online submission process. Registration of the paper
information and abstract (max. 250 words) must be completed before
February 3, 2020. Submission of the manuscript is due no later than
February 14, 2020. Submissions are handled through the EasyChair
conference management system:
  https://easychair.org/conferences/?conf=coordination2020
  https://easychair.org/conferences/?conf=dais2020
  https://easychair.org/conferences/?conf=forte20

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, including figures and references, prepared using
Springer’s LNCS style. Submissions not adhering to the above specified
constraints may be rejected without review.

DisCoTec conferences welcome contributions in theoretical models and
foundations of coordination, concurrency, programming languages,
practical and conceptual aspects of distributed computations as well as
models and formal specification, testing and verification methods for
distributed computing.

Detailed information about the topics, the submission categories and the
corresponding page limits are available at the conference website.

For each accepted paper, one of the authors must register to DisCoTec
2020 and attend the corresponding conference to present the paper.


* Organising Committee *

Adrian Francalanza (University of Malta, Malta - General chair)
Davide Basile (ISTI CNR Pisa, Italy - Publicity chair)
Kiko Fernández-Reyes  (Uppsala University, Sweden - Publicity chair)
Antonis Achilleos (Reykjavik University, Iceland - Workshops chair)
Duncan Attard (University of Malta, Malta - Workshops chair)
Ornela Dardha (University of Glasgow, United Kingdom - Workshops chair)
Lucienne Bugeja (University of Malta, Malta - Logistics)



* Steering Committee *

Rocco De Nicola (IMT Lucca, Italy)
Pascal Felber ( University of Neuchâtel, Switzerland)
Kurt Geihs (University of Kasel, Germany)
Kostas Magoutis (ICS-FORTH, Greece)
Elie Najm (Telecom Paris Tech, France — Chair)
Manuel Núñez (Universidad Complutense de Madrid, Spain)
Rui Oliveira (University of Minho, Portugal)
Jean-Bernard Stefani (INRIA Grenoble, France)
Gianluigi Zavattaro (University of Bologna, Italy)
Alberto Lluch Lafuente (DTU, Denmark - General chair)


* Advisory Board *

Alain Girault (INRIA Grenoble, France)
Uwe Nestmann (TU Berlin, Germany)
Michele Loreti (University of Camerino, Italy)
Jim Dowling (RISE & KTH, Sweden)
Marjan Sirjani (University of Malarden, Sweden)
Frank de Boer (CWI, The Netherlands)
Farhad Arbab (CWI, The Netherlands)
Lea Kutvonen (University of Helsinki, Finland)
John Derrick (University of Sheffield, UK)


To receive live, up to date information, follow us on Twitter:
https://twitter.com/DisCoTecConf








När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy