posted by user: kikofernandez || 1787 views || tracked by 7 users: [display]

DisCoTec 2020 : International Federated Conference on Distributed Computing Techniques


When Jun 15, 2020 - Jun 19, 2020
Where Malta
Abstract Registration Due Feb 3, 2020
Submission Deadline Feb 14, 2020
Notification Due Apr 10, 2020
Final Version Due Apr 24, 2020
Categories    concurrency   distributed systems   formal methods

Call For Papers


Joint Call for Papers

15th International Federated Conference on
Distributed Computing Techniques

DisCoTec 2020

Valletta, Malta, 15-19 June 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 *

22st IFIP International Conference on Coordination Models and
PC Chairs: Simon Bliudze (Inria Lille – Nord Europe, France) and Laura Bocchi
(University of Kent, UK)

- 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)

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 *


* Submission Categories *

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).

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)

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:

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 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.

* Satellite Events *

DisCoTec features also workshops, tutorials and a tool track. Workshops, tutorials and tools demonstrations should fall in the areas of the DisCoTec conferences. For more information, check the website:

* Organising Committee *

Adrian Francalanza (University of Malta, Malta - General chair)
Davide Basile (University of Florence, 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)

* 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:

Related Resources

ICDCS 2021   International Conference on Distributed Computing Systems
DCOSS 2021   The 17th Annual International Conference on Distributed Computing in Sensor Systems
EuroSys 2021   European Conference on Computer Systems
DCOSS 2021   Distributed Computing in Sensor Systems
CSIA 2020   11th International Conference on Communications Security & Information Assurance (CSIA 2020)
TPDS-SS-NvNT 2020   IEEE TPDS Special Section on Parallel and Distributed Computing Techniques for non-von Neumann Technologies
ESOP 2021   30th European Symposium on Programming
FL-ICML 2020   International Workshop on Federated Learning for User Privacy and Data Confidentiality in Conjunction with ICML 2020
FM 2021   Formal Methods 2021
PACT 2020   International Conference on Parallel Architectures and Compilation Techniques