posted by organizer: kikofernandez || 2693 views || tracked by 13 users: [display]

DisCoTec 2019 : International Federated Conference on Distributed Computing Techniques

FacebookTwitterLinkedInGoogle

Link: http://www.discotec.org/2019/
 
When Jun 18, 2019 - Jun 21, 2019
Where Kongens Lyngby, Denmark
Abstract Registration Due Feb 15, 2019
Submission Deadline Feb 22, 2019
Notification Due Apr 12, 2019
Final Version Due Apr 26, 2019
Categories    distributed systems   coordination models   programming languages   verification methods
 

Call For Papers

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

Joint Call for Papers

14th International Federated Conference on
Distributed Computing Techniques

DisCoTec 2019

Kongens Lyngby, Denmark, 18-21 June 2019

https://www.discotec.org/2019

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

** Extended deadlines: **
* Abstract submission: February 15, 2019
* Paper submission: February 22, 2019


** About DisCoTec **

DisCoTec 2019 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/2019/coordination)
21st IFIP International Conference on Coordination Models and
Languages
PC Chairs: Hanne Riis Nielson (DTU, Denmark) and Emilio Tuosto
(University of Leicester, UK)

- DAIS (https://www.discotec.org/2019/dais)
19th IFIP International Conference on Distributed Applications
and Interoperable Systems
PC Chairs: José Orlando Pereira (Universidade do Minho & INESC
TEC, Portugal) and Laura Ricci (University of Pisa, Italy)

- FORTE (https://www.discotec.org/2019/forte)
39th IFIP International Conference on Formal Techniques for
Distributed Objects, Components and Systems
PC Chairs: Jorge A. Pérez (University of Groningen, The Netherlands)
and Nobuko Yoshida (Imperial College London, UK)


* Important Dates (for all main conferences) *

- February 1, 2019: Submission of abstract
- February 8, 2019: Submission of papers
- April 12, 2019: Notification of accepted papers
- June 18-21, 2019: Conferences and Workshops


* Keynote Speakers *

- David Basin (ETH Zürich, Switzerland)
- Anne-Marie Kermarrec (INRIA Rennes, France)
- Marta Kwiatkowska (University of Oxford, UK)
- Silvio Micali (MIT, USA)
- Martin Wirsing (LMU, Germany)


* Proceedings *

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


* Special issue *
Selected papers of Coordination and FORTE will be invited to a special
issue of Logical Methods in Computer Science
(https://lmcs.episciences.org/). Selected papers of DAIS will be invited
to a special issue of a reputed journal (to be announced soon).
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 1, 2019. Submission of the manuscript is due no later than
February 8, 2019. Submissions are handled through the EasyChair
conference management system:
https://easychair.org/conferences/?conf=coordination2019
https://easychair.org/conferences/?conf=dais2019
https://easychair.org/conferences/?conf=forte19

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 2019
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
http://www.discotec.org/2019/satellite-events


* Organising Committee *

Alberto Lluch Lafuente (DTU, Denmark – General chair)
Kiko Fernández-Reyes (Uppsala University — Publicity chair)
Francesco Tiezzi (University of Camerino — Publicity chair)
Andrea Vandin (DTU, Denmark — Workshops chair)
Maurice ter Beek (CNR, Italy — Workshops chair)
Valerio Schiavoni (Université de Neuchâtel, Switzerland — Workshops chair)


* 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:
https://twitter.com/DisCoTecConf

Related Resources

IJBBR 2019   International Journal of BRIC Business Research
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
FL - IEEE BigData 2019   IEEE BigData 2019 - Special Track on Federated Machine Learning
PDP 2020   Euromicro International Conference on Parallel, Distributed and Network-Based Processing
ICDCS 2020   International Conference on Distributed Computing Systems
IPDPS 2020   International Parallel and Distributed Processing Symposium
PPoPP 2019   47th ACM SIGPLAN Symposium on Principles of Programming Languages
ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)
IJPLA 2019   International Journal of Programming Languages and Applications
FL - NeurIPS 2019   The 2nd International Workshop on Federated Learning for Data Privacy and Confidentiality (in Conjunction with NeurIPS 2019)