Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to:

    Requirements analysis and specification
    Verification and validation
    SAT/SMT solvers for software analysis and testing
    Security and privacy of complex systems
    Model-driven development
    Reverse engineering and refactoring
    Software architecture
    Ambient intelligence, pervasive computing
    Ubiquitous computing, context awareness, sensor networks
    Human Machine Interaction
    Big data management
    Agile methods
    Safety-critical and fault-tolerant architectures
    Adaptive, self-managing and multi-agent systems
    Cyber-physical systems and Internet of Things (IoT)
    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 panels to discuss relationships between industrial and academic research.