[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple postings]
************************************************************************
Joint Call for Papers
16th International Federated Conference on Distributed Computing Techniques
DisCoTec 2021
Valletta, Malta, 14-18 June 2021
https://www.discotec.org/2021
************************************************************************
DisCoTec 2021 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.
* Main Conferences *
- COORDINATION (https://www.discotec.org/2021/coordination)
23rd International Conference on Coordination Models and Languages
PC Chairs: Ferruccio Damiani (University of Turin, IT) and Ornela Dardha
(University of Glasgow, UK)
- DAIS (https://www.discotec.org/2021/dais)
21st International Conference on Distributed Applications and Interoperable
Systems
PC Chairs: Fabíola Greve (Federal University of Bahia, BR) and Miguel Matos
(University of Lisboa & INESC-ID, PT)
- FORTE (https://www.discotec.org/2021/forte)
41st International Conference on Formal Techniques for Distributed Objects,
Components and Systems
PC Chairs: Kirstin Peters (Technical University of Darmstadt, DE) and Tim
Willemse (Eindhoven University of Technology, NL)
Important dates (for all main conferences):
- January 29, 2021: Abstract submission deadline
- February 5, 2021: Paper submission deadline
- April 2, 2021: Notification of accepted papers
- April 23, 2021: Camera-ready papers deadline
- June 14-18, 2021: Conferences and workshops
* Keynote Speakers *
- Gilles Fedak (iExec, FR)
- Mira Mezini (Technical University of Darmstadt, DE)
- Alexandra Silva (University College London, UK)
* 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 + 10 minute 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 (up to 15 pages + 2 pages references)
- Short papers (up to 6 pages + 2 pages references)
- “Journal First” papers (up to 4 pages, including references)
* Proceedings *
The proceedings of the DisCoTec 2021 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 a reputable journal such as Logical Methods in Computer
Science and the Journal of Parallel and Distributed Computing. More information
is available on the conference website.
* Submission Instructions *
Authors are invited to submit their contributions electronically in PDF using a
two-phase online submission process. The registration of the paper information
and abstract (max. 250 words) must be completed before January 29, 2021.
Submission of the manuscript is due by no later than February 5, 2021.
Submissions are handled through the EasyChair conference management system:
- https://easychair.org/conferences/?conf=dais2021
- https://easychair.org/conferences/?conf=forte21
- https://easychair.org/conferences/?conf=coordination2021
Contributions must be written in English and report on original, unpublished
work that has not been submitted for publication elsewhere (cf. IFIP's Author
Code of Conduct, see http://www.ifip.org/ under Publications/Links). The
submissions — prepared using Springer’s LNCS style — must not exceed the total
page limit, including figures and references. Submissions not adhering to the
above-specified constraints may be rejected without review.
For each accepted paper, one of the authors must register to DisCoTec 2021, and
attend the corresponding conference to present the paper.
* Satellite Events *
DisCoTec also features workshops, tutorials, and a tool track. Workshops,
tutorials, and tools demonstrations should fall in the areas of the DisCoTec
conferences. For more information refer to the website.
* Organising Committee *
- Adrian Francalanza (University of Malta, MT — General Chair)
- Caroline Caruana (University of Malta, MT — Publicity Chair)
- Jasmine Xuereb (University of Malta, MT — Publicity Chair)
- Duncan Paul Attard (University of Malta, MT — Workshops Chair)
- Christian Bartolo Burló (Gran Sasso Science Institute, IT — Workshops Chair)
- Lucienne Bugeja (University of Malta, MT — Logistics)
* Steering Committee *
- Rocco De Nicola (IMT Lucca, IT)
- Pascal Felber (University of Neuchâtel, CH)
- Adrian Francalanza (University of Malta, MT)
- Kurt Geihs (University of Kasel, DE)
- Alberto Lluch Lafuente (Technical University of Denmark, DK)
- Kostas Magoutis (ICS-FORTH, GR)
- Elie Najm (Telecom Paris Tech, FR)
- Manuel Núñez (Universidad Complutense de Madrid, ES)
- Rui Oliveira (University of Minho, PT)
- Jean-Bernard Stefani (INRIA Grenoble, FR)
- Gianluigi Zavattaro (University of Bologna, IT — Chair)
To receive live, up-to-date information, follow us on Twitter @DisCoTecConf.
