[TYPES/announce] DisCoTec 2017 CfP

[ivan.lanese]

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

   Call for Papers

   DisCoTec 2017

   12th International Federated Conference on
   Distributed Computing Techniques

   http://2017.discotec.org

   Neuchâtel, Switzerland, 19-22 June 2017

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

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

This year IFIP offers some travel grants for students and an award 
for the best paper of DisCoTec.

All conferences share the same deadlines:

* Important Dates *

- February 3, 2017: Submission of abstract
- February 10, 2017: Submission of papers
- April 10, 2017: Notification of acceptance
- April 24, 2017: Final version
- June 19-22, 2017: Conference and workshops

* General Chair *

Pascal Felber, University of Neuchatel, Switzerland

* Organisation Chair *

Valerio Schiavoni, University of Neuchatel, Switzerland

* Publicity Chair *

Ivan Lanese, University of Bologna/INRIA, Italy

* Workshops Chair *

Romain Rouvoy, University of Lille, France

* Steering Board *

Farhad Arbab (CWI, Amsterdam, Netherlands)
Rocco De Nicola (IMT Lucca, Italy)
Kurt Geihs (University of Kasel, Germany)
Michele Loreti (University of Florence, Italy)
Elie Najm (Telecom Paris Tech -- Chair)
Rui Oliveira (University do Minho, Portugal)
Jean-Bernard Stefani (INRIA Grenoble, France)
Uwe Nestmann (TU Berlin, Germany)

* 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 2017

   19th 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 *

- Jean-Marie Jacquet, University of Namur, Belgium
- Mieke Massink, CNR-ISTI, Italy

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

   DAIS 2017
   17th IFIP International Conference on
   Distributed Applications and Interoperable Systems

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

* Scope *

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation, 
the supporting middleware, appropriate software engineering methodologies
and tools, as well as experimental studies and practice reports. This
time we welcome particular contributions on architectures, models,
technologies and platforms for large scale and complex distributed
applications and services that are related to the latest trends 
towards bridging the physical/virtual worlds based on flexible and 
versatile service architectures and platforms. 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, data store, cloud computing, 
edge and fog computing, big data systems, data center and internet-scale
   systems, social networking, cyber-physical systems, mobile 
computing,
   software-defined network (SDN), service-oriented computing, and
   peer-to-peer systems;
- Novel architectures and mechanisms, particularly in areas of 
pub/sub systems, language-based approaches, overlay protocols, 
virtualization, resource allocation, blockchains, parallelization, and 
bio-inspired distributed computing;
- System issues and design goals, including 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;
- Engineering and tools, including model-driven engineering,
   domain-specific languages, design patterns and methods, profiling 
and learning, testing and validation, and distributed debugging.

* Program Committee Chairs *

- Lydia Y. Chen, IBM Research Zurich Lab, Switzerland
- Hans P. Reiser, University of Passau, Germany

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

   FORTE 2017
   37th IFIP International Conference on
   Formal Techniques for Distributed Objects, Components and Systems

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

* Scope *

FORTE 2017 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 *

- Ahmed Bouajjani, University Paris Diderot, France
- Alexandra Silva, University College London, UK