posted by organizer: gaudrito || 2034 views || tracked by 3 users: [display]

DisCoTec - 2022 : 17th International Federated Conference on Distributed Computing Techniques

FacebookTwitterLinkedInGoogle

Link: http://www.discotec.org/2022/
 
When Jun 13, 2022 - Jun 17, 2022
Where Lucca (IT)
Abstract Registration Due Jan 28, 2022
Submission Deadline Feb 4, 2022
Notification Due Mar 25, 2022
Final Version Due Apr 24, 2022
Categories    computer science   distributed computing   formal methods
 

Call For Papers

===================================================================
JOINT CALL FOR PAPERS
DISCOTEC 2022

17th International Federated Conference on Distributed Computing Techniques
13-17 June 2022, Lucca, Italy

https://www.discotec.org/2022
===================================================================

DisCoTec 2022 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 workshops 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.


=== COVID-19 ===

DISCOTEC 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not.


=== Main Conferences ===

COORDINATION
https://www.discotec.org/2022/coordination
24rd International Conference on Coordination Models and Languages
PC Chairs: Maurice ter Beek (ISTI-CNR, Pisa, Italy) and Marjan Sirjani (Mälardalen University, Sweden)

DAIS
https://www.discotec.org/2022/dais
22st International Conference on Distributed Applications and Interoperable Systems
PC Chairs: David Eyers (University of Otago, NZ) and Spyros Voulgaris (Athens University of Economics and Business, GR)

FORTE
https://www.discotec.org/2022/forte
42st International Conference on Formal Techniques for Distributed Objects, Components and Systems
PC Chairs: Mohammad Mousavi (King’s College London, UK) and Anna Philippou (University of Cyprus, Cyprus)


=== Important Dates (for all main conferences) ===

- Abstract submission: January 28, 2022
- Paper submission: February 4, 2022
- Paper notification: March 25, 2022
- Camera-ready: April 24, 2022
- DisCoTec conference: June 13-18, 2022

Deadlines expire at 23:59 anywhere on earth on the dates displayed above.


=== Satellite Events ===

We invite the community to submit proposals for one day workshops and tutorials on topics related to the distributed computing field.

Important dates for all workshops:

Workshop proposal submission deadline: December 21, 2021
Notification of accepted workshop proposals: December 27, 2021
Workshop paper submission deadline: Mid April 2022
Notification of accepted workshop papers: Mid May 2022
Workshops: June 13 and 17, 2022

Important dates for all tutorials:

Tutorial proposal submission deadline: February 28, 2022
Notification of accepted workshop proposals: March 07, 2022
Tutorials: June 13, 2022


=== Submission Categories ===

COORDINATION
- Regular long papers (7-15 pages)
- Regular short papers (4-6 pages)
- Long tool papers (7-15 pages)
- Short tool papers (4-6 pages)
- Survey papers (16-25 pages)
References do not count towards the page limit.

DAIS
- Full research papers (max 15 pages)
- Full practical experience reports (max 15 pages)
- Work-in-progress papers (max 6 pages)
References have a separate page limit of 2 pages.

FORTE
- Full papers (max 15 pages + 2 pages references)
- Short papers (max 6 pages + 2 pages references)
- “Journal First” papers (max 4 pages, including references)


=== Proceedings ===

The proceedings of the conferences are published in LNCS-IFIP volumes. These shall be open access from the IFIP digital library after a 3-year embargo.


=== Organising Committee ===

- Rocco De Nicola (IMT School for Advanced Studies, IT — General Chair)
- Letterio Galletta (IMT School for Advanced Studies, IT — Chair of the Local Organizing Committee)
- Marinella Petrocchi (IIT-CNR, IT)
- Simone Soderi (IMT School for Advanced Studies, IT)
- Francesco Tiezzi (University of Florence, IT — Workshops and Tutorials Chair)
- Giorgio Audrito (University of Torino, IT — Publicity chair)


=== Steering Committee ===

- Gianluigi Zavattaro (University of Bologna, IT — Chair)
- Rocco De Nicola (IMT Lucca, IT)
- Kurt Geihs (University of Kasel, DE)
- Elie Najm (Telecom Paris Tech, FR)
- Mieke Massink (CNR-ISTI, IT)
- Luís Veiga (INESC-ID, Universidade de Lisboa, PT)
- Ivan Lanese (University of Bologna/INRIA, IT)
- Manuel Núñez (Universidad Complutense de Madrid, ES)
- Alberto Lluch Lafuente (Technical University of Denmark, DK)
- Adrian Francalanza (University of Malta, MT)


=== Advisory Board ===

- Alain Girault (INRIA Grenoble, FR)
- Uwe Nestmann (TU Berlin, DE)
- Michele Loreti (University of Camerino, IT)
- Jim Dowling (RISE & KTH, SE)
- Marjan Sirjani (University of Malarden, SE)
- Frank de Boer (Centrum Wiskunde & Informatica (CWI), NL)
- Farhad Arbab (Centrum Wiskunde & Informatica (CWI), NL)
- Lea Kutvonen (University of Helsinki, FI)
- John Derrick (University of Sheffield, UK)
- Pascal Felber (University of Neuchâtel, CH)
- Kostas Magoutis (ICS-FORTH, GR)
- Rui Oliveira (University of Minho, PT)
- Jean-Bernard Stefani (INRIA Grenoble, FR)

Related Resources

ICMLA 2024   23rd International Conference on Machine Learning and Applications
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
DisCoTec 2024   Joint CfP: 19th International Federated Conference on Distributed Computing Techniques Mailing lists
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
IEEE CACML 2025   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025)
BIBC 2024   5th International Conference on Big Data, IOT and Blockchain