posted by organizer: zhehou || 7645 views || tracked by 12 users: [display]

ICECCS 2018 : International Conference on Engineering of Complex Computer Systems

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Engineering of Complex Computer Systems
 
Link: http://formal-analysis.com/iceccs/2018/
 
When Dec 12, 2018 - Dec 14, 2018
Where Melbourne, Australia
Abstract Registration Due Jun 19, 2018
Submission Deadline Jun 25, 2018
Notification Due Aug 13, 2018
Final Version Due Sep 10, 2018
Categories    software engineering   computer science   formal method
 

Call For Papers

23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018)

===================================================================

|| December 12-14, 2018, Melbourne, Australia
|| Website: http://formal-analysis.com/iceccs/2018/

## Overview
Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Complexity arises from many factors, including the dynamic environments and scenarios these systems operate in; demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability; as well as the large variation in development methodology, programming languages and implementation details. The key issues in these systems include performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, and long life concerns.

The goal of this conference is to bring together industrial, academic, and government experts, from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of interest includes long-term research issues; near-term requirements and challenges; established complex systems; emerging promising tools; and retrospective and prospective reflections of research and development into complex systems.

## Scope and Topics
Authors are invited to submit papers describing original, unpublished research results, case studies and toolsed 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:

Requirement specification and analysis
Verification and validation
Security and privacy of complex systems
Model-driven development
Reverse engineering and refactoring
Architecture software
Big Data Management
Ambient intelligence, pervasive computing
Ubiquitous computing, context awareness, sensor networks
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
Cyber-physical systems and Internet of Things (IoT)
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 panels to discuss relationships between industrial and academic research.

## Full Papers
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.

## Short Papers
Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings.

## Paper Submissions
Submitted manuscripts should be in English and formatted in the style of the double-column IEEE format. Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review.

Please prepare your manuscripts in accordance to the IEEE guidelines:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html.

We invite all prospective authors to submit their manuscripts via the ICECCS'18 portal, hosted on EasyChair
https://easychair.org/conferences/?conf=iceccs2018

## Conference proceeding
The conference proceedings will be published by IEEE Conference Publishing Services (EI indexed).

## Important Dates
Abstract submission: 19th June 2018
Paper submission: 25th June 2018
Notification of acceptance: 13th August 2018
Camera ready copy due: 10th September 2018

Related Resources

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
ICISIP 2025   The 12th IIAE International Conference on Intelligent Systems and Image Processing 2025
PEET 2025   IEEE--2025 International Conference on Power Engineering and Electrical Technology (PEET 2025)
HPCCT 2025   2025 the 9th High Performance Computing and Cluster Technologies Conference (HPCCT 2025)--ESCI
CPESE 2025   IEEE--2025 12th International Conference on Power and Energy Systems Engineering (CPESE 2025)