[Caml-list] 23rd International Conference on Engineering Complex Systems - Call for Papers

------------------------------------------------------------

CALL FOR PAPERS

The 23rd International Conference on Engineering Complex Systems
ICECCS 2018

12-14 December 2018 - Melbourne, Australia

http://formal-analysis.com/iceccs/2018/
------------------------------------------------------------

Important Dates (AoE time)

Abstract submission: 15th June 2018
Paper submission: 22nd June 2018
Notification of acceptance: 22th August 2018
Camera ready copy due: 21th September 2018


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, inoperability 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 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
Software architecture
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
Applications to SAT/SMT techniques to analysis of complex systems

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 CPS 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 CPS 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 Proceedings

The conference proceedings will be published by Conference Publishing Services
(CPS) and submitted for EI indexing.

Organization:

General Chair: Yuan-Fang Li (Monash University, Australia)
Program Chairs: Anthony Lin (Oxford, UK) and Jun Sun (Singapore
University of Technology and Design, Singapore)
Workshop/Tutorial chair: Marcel Boehme (Monash University, Australia)
Local chair: Xin Xia (Monash University, Australia)
Web Chair: Hou Zhe and Hadrien Bride (Griffith University)
Publicity Chairs: Etienne Andre (University Paris 13, France) and
Huibiao Zhu (East China Normal University, China)

Steering Committee:
Jin Song Dong, Griffith University and NUS, Australia
Mike Hinchey, University of Limerick, Ireland
Mark Lawford, McMaster University, Canada
Xiaohong Li, Tianjin University, China
Shaoying Liu, Hosei University, Japan
Andrew Martin, University of Oxford, UK
Roy Sterritt, University of Ulster, USA
Jing Sun, The University of Auckland, New Zealand

Program committee:
Parosh Aziz Abdulla, Uppsala University, Sweden
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Etienne Andre, University Paris 13, France
Luciano Baresi, Politecnico di Milano, Italy
Sergiy Bogomolov, Australian National University, Australia
Yu-Fang Chen, National Taiwan University, Taiwan
Wei-Ngan Chin, National University of Singapore, Singapore
Duc Hiep Chu, Google LLC, United States
Sebastien Gerard, CEA LIST, France
Felicita Di Giandomenico, Institute ISTI, Italy
Matthew Hague, Royal Holloway University of London, United Kingdom
Jane Hillston, The University of Edinburgh, United Kingdom
Atsushi Igarashi, Kyoto University, Japan
Kung-Kiu Lau, University of Manchester, United Kingdom
Yuan-Fang Li, Monash University, Australia
Yang Liu, Nanyang Technological University, Singapore
David Lo, Singapore Management University, Singapore
Gerald Luettgen, University of Bamberg, Germany
Xiaoxing Ma, Nanjing University, China
Tiziana Margaria, Lero, Ireland
Dominique Mery, University de Lorraine, France
Paolo Nesi, University of Florence, Italy
Jun Pang, University of Luxembourg, Luxembourg
David Parker, University of Birmingham, United Kingdom
Christian Prehofer, Technical University of Munich, Germany
Philipp Ruemmer, Uppsala University, Sweden
Bernhard Rumpe, RWTH Aachen University, Germany
Max Schaefer, Semmle Ltd., United Kingdom
Maria Spichkova, RMIT University, Australia
Kenji Taguchi, CAV Technologies Co., Ltd., Japan
Kenji Tei, National Institute of Informatics, Japan
Cong Tian, Xidian University, China
Tullio Vardanega, University of Padua, Italy
Hai H. Wang, University of Aston, United Kingdom
Hironori Washizaki, Waseda University, Japan
Zhilin Wu, Chinese Academy of Sciences, China
Huibiao Zhu, East China Normal University, China

A PDF version of this call for papers is available at:
http://formal-analysis.com/iceccs/2018/cfp.pdf
Feel free to print and/or share!


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs