FORTE 2018

Submission timeline

• 16 Feb 2018 Abstract registration 2 Feb 2018 → 16 Feb 2018 +14 days
• 23 Feb 2018 Full paper 9 Feb 2018 → 23 Feb 2018 +14 days
• 30 Mar 2018 Notification

• 18 Jun 2018 Conference opens

What to submit

Format

15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster)

Proceedings

Springer LNCS — Paywalled, for-profit

A DisCoTec Member Conference. The best papers will be invited after the conference to contribute to a special issue of a top-level journal. Recent acceptance rates: 41% (20/49, 2013), 36% (18/50, 2014), 28% (15/53, 2015), 41% (18/44, 2016), 40% (13 long + 3 short + 1 tool/42) in 2017.

Call for papers

• After a deadline extension FORTE-2018-extended.txt · TXT · shown below
• As first published DisCoTec-2018.txt · TXT

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at 2018.discotec.org/.

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

  Call for Papers --- deadline extension ---

  DisCoTec 2018

  13th International Federated Conference on
  Distributed Computing Techniques

  http://2018.discotec.org

  Madrid, Spain, 18-21 June 2018

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

The DisCoTec series of federated conferences is one of the major events
sponsored by the International Federation for Information Processing
(IFIP). The main conferences are:

* COORDINATION
* DAIS
* FORTE

* Important Dates *

COORDINATION, DAIS & FORTE (LNCS publication)

- February 16, 2018: Submission of abstract (extended)
- February 23, 2018: Submission of papers (extended)
- March 30, 2018: Notification of accepted papers
- June 18-20, 2018: Conferences in Madrid

Collocated workshops:

- Mid April, 2018: Submission of papers (workshops)
- Mid May, 2018: Notification of accepted papers (workshops)
- June 20-21, 2018 Workshops in Madrid

* General Chair *

Manuel Núñez (Universidad Complutense de Madrid, Spain)

* Organisation Chairs *

Jesús Correas (Universidad Complutense de Madrid, Spain)
Sonia Estévez (Universidad Complutense de Madrid, Spain)

* Publicity Chair *

Ivan Lanese, University of Bologna/INRIA, Italy

* Workshops Chairs *

Luis Llana (Universidad Complutense de Madrid, Spain)
Ngoc-Thanh Nguyen (Wroclaw University of Science and Technology, Poland)

* Steering Board *

Rocco De Nicola (IMT Lucca, Italy)
Kurt Geihs (University of Kasel, Germany)
Alain Girault (INRIA Grenoble, France)
Kostas Magoutis (ICS-FORTH, Greece)
Elie Najm (Telecom Paris Tech, France — Chair)
Uwe Nestmann (TU Berlin, Germany)
Rui Oliveira (University of Minho, Portugal)
Jean-Bernard Stefani (INRIA Grenoble, France)
Gianluigi Zavattaro (University of Bologna, Italy)

* Publication *

Each paper will undergo a thorough process of review and the conference
proceedings will be published by Springer-Verlag in the LNCS series.

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

  COORDINATION 2018

  20th IFIP International Conference on
  Coordination Models and Languages

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

* Scope *

Modern information systems rely increasingly on combining concurrent,
distributed, mobile, adaptive, reconfigurable and heterogeneous
components. New models, architectures, languages and verification
techniques are necessary to cope with the complexity induced by the
demands of today's software development. Coordination languages have
emerged as a successful approach, in that they provide abstractions that
cleanly separate behaviour from communication, therefore increasing
modularity, simplifying reasoning, and ultimately enhancing software
development.

Building on the success of the previous editions, this conference
provides a well-established forum for the growing community of
researchers interested in models, languages, architectures, and
implementation techniques for coordination.

Topics of interest encompass all areas of coordination, including (but
not limited to) coordination related aspects of:
- Theoretical models and foundations for coordination: component
  composition, concurrency, mobility, dynamic, spatial and probabilistic
  aspects of coordination, emergent behaviour, types, semantics;
- Specification, refinement, and analysis of architectures: patterns and
  styles, verification of functional and non-functional properties,
  including performance aspects;
- Coordination, architectural, and interface definition languages:
  implementation, interoperability, heterogeneity;
- Middlewares and coordination;
- Dynamic software architectures: distributed mobile code,
  configuration, reconfiguration, networked computing, parallel,
  high-performance and cloud computing;
- Nature- and bio-inspired approaches to coordination;
- Coordination of multiagent and collective systems: models, languages,
  infrastructures, self-adaptation, self-organisation, distributed
  solving, collective intelligence and emerging behaviour;
- Coordination and modern distributed computing: Web services,
  peer-to-peer networks, grid computing, context-awareness, ubiquitous
  computing, mobile computing;
- Programming languages, middleware, tools, and environments for the
  development of coordinated applications;
- Programming methodologies and verification of coordinated
  applications;
- Industrial relevance of coordination and software architectures:
  programming in the large, domain-specific software architectures and
  coordination models, case studies;
- Interdisciplinary aspects of coordination.

* Program Committee Chairs *

- Michele Loreti, L'Università degli Studi di Firenze, Italy
- Giovanna di Marzo Serugendo, Université de Genève, Switzerland

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

  DAIS 2018
  18th IFIP International Conference on
  Distributed Applications and Interoperable Systems

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

* Scope *

The DAIS conference series addresses all practical and conceptual
aspects of distributed applications, including their design, modeling,
implementation and operation, the supporting middleware, appropriate
software engineering methodologies and tools, as well as experimental
studies and practice reports. Submissions will be judged on their
originality, significance, clarity, relevance, and technical
correctness.

The topics of interest to the conference include, but are not limited
to:
- Novel and innovative distributed applications and systems,
  particularly in areas of middleware, cloud computing, edge
  and fog computing, big data processing, streaming and complex
  event processing, social networking, cyber-physical systems, mobile
  computing, advanced networking (SDN/NFV), service-oriented computing,
  and peer-to-peer systems;
- Novel architectures and mechanisms, particularly in areas of
  publish/subscribe systems, language-based approaches, data center and
  internet-scale systems, virtualization and resource allocation,
  distributed storage, blockchains, cryptocurrencies and smart contracts,
  and bio-inspired distributed computing;
- System issues and design goals, including interoperability and
  adaptation, self-* properties (e.g., self-organization, self-management,
  ...), security and practical applications of cryptography,
  trust and privacy, cooperation incentives and fairness,
  fault-tolerance and dependability, scalability and elasticity, and
  tail-performance and energy-efficiency.

* Program Committee Chairs *

- Silvia Bonomi, L'Università degli Studi di Firenze, Italy
- Etienne Riviere, Université catholique de Louvain, Belgium

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

  FORTE 2018
  38th IFIP International Conference on
  Formal Techniques for Distributed Objects, Components and Systems

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

* Scope *

FORTE 2018 is a forum for fundamental research on theory, models, tools,
and applications for distributed systems. The conference solicits
original contributions that advance the science and technologies for
distributed systems, with special interest in the areas of:
- Component- and model-based design
- Object technology, modularity, software adaptation
- Service-oriented, ubiquitous, pervasive, grid, cloud, and mobile
  computing systems
- Software quality, reliability, availability, and safety;
- Security, privacy, and trust in distributed systems;
- Adaptive distributed systems, self-stabilization;
- Self-healing/organizing;
- Verification, validation, formal analysis, and testing of the above.

Contributions that combine theory and practice and that exploit formal
methods and theoretical foundations to present novel solutions to
problems arising from the development of distributed systems are
encouraged. FORTE covers distributed computing models and formal
specification, testing and verification methods. The application domains
include all kinds of application-level distributed systems,
telecommunication services, Internet, embedded and real-time systems, as
well as networking and communication security and reliability.

Topics of interest include but are not limited to:
- Languages and semantic foundations: new modeling and language concepts
  for distribution and concurrency, semantics for different types of
  languages, including programming languages, modeling languages, and
  domain-specific languages; real-time and probability aspects;
- Formal methods and techniques: design, specification, analysis,
  verification, validation, testing and runtime verification of various
  types of distributed systems including communications and network
  protocols, service-oriented systems, adaptive distributed systems,
  cyber-physical systems and sensor networks;
- Foundations of security: new principles for qualitative and
  quantitative security analysis of distributed systems, including
  formal models based on probabilistic concepts;
- Applications of formal methods: applying formal methods and techniques
  for studying quality, reliability, availability, and safety of
  distributed systems;
- Practical experience with formal methods: industrial applications,
  case studies and software tools for applying formal methods and
  description techniques to the development and analysis of real
  distributed systems.

* Program Committee Chairs *

- Luis Caires, Universidade de Lisboa, Portugal
- Christel Baier, Universität Dresden, Germany