The success of key human activities ranging from research and business to
everyday services relies on the use of ever more sophisticated,
feature-rich and complex computer systems. These complex computer systems
are regularly required to accomplish more, faster and on a broader scale,
to adapt dynamically to changing workloads, scenarios and objectives, and
to achieve guaranteed levels of performance and dependability. Satisfying
such demanding requirements in the presence of the variability,
heterogeneity and non-linear behaviour that characterise complex computer
systems poses numerous challenges to both their developers and their
users.

The aim of the conference is to bring together researchers, practitioners
and leading experts from academia and industry, to advance the state of
the art in the specification, development, validation and verification,
and management of complex computer systems.

Scope and topics:
================

Authors are invited to submit papers describing original, unpublished
research results, case studies and tools. Additionally, submissions of
poster papers are sought for two separate poster sessions: an "ongoing
research" poster session, and a "PhD research" poster session. Topics of
interest include but are not limited to the following aspects of complex
computer systems:

- Requirement specification and analysis
- Verification and validation
- Model-driven development
- Reverse engineering and refactoring
- Architecture software
- Big Data Management
- Sensor Networks and Ubiquitous Computing
- Design by contract
- Agile methods
- Safety-critical & fault-tolerant architectures
- Adaptive, self-managing and multi-agent systems
- Real-time, hybrid and embedded systems
- Systems of systems
- Tools and tool integration
- Industrial case studies

Different kinds of contributions are sought, including novel research,
lessons learned, experience reports, and discussions of practical problems
faced by industry and user domains. The ultimate goal is to build a rich
and comprehensive conference program that can fit the interests and needs
of different classes of attendees: professionals, researchers, managers,
and students. A program goal is to organize several sessions that include
both academic and industrial papers on a given topic, and culminate with
panels to discuss relationships between industrial and academic research.

Full papers are divided into two categories: Technical Papers and
Experience Reports. The papers submitted to both categories will be
reviewed by program committee members, and papers accepted in either
category will be published in the conference proceedings. Technical papers
should describe original research, and experience reports should present
practical projects carried out in industry, and reflect on the lessons
learnt from them.

Poster paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of poster papers will be
reviewed by program committee members, and accepted posters will be
published in the conference proceedings.