[TYPES/announce] CFP DisCoTec 2021 [EXTENDED DEADLINE]

[Duncan Paul Attard]

[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):
 
  - February 12, 2021: Abstract submission deadline (EXTENDED)
  - February 19, 2021: Paper submission deadline (EXTENDED)
  - 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 *
 
  - 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)

 
To receive live, up-to-date information, follow us on Twitter @DisCoTecConf.