ICECCS 2026

Welcome to the website of the 30th International Conference on Engineering of Complex Computer Systems (ICECCS 2026)

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.

ICECCS is an B-ranked international conference by the Computing Research and Education Association of Australasia (CORE) ranking.

We look forward to your contribution and participation.

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:

Requirements, Modeling and Formal Methods

Requirements analysis and specification
Model-driven development
Model checking
SAT/SMT solvers for software analysis and testing

Software Engineering

Verification and validation
Reverse engineering and refactoring
Human Machine Interaction
Agile methods
Software supply chain of complex systems

Simulation, Testing, and Validation

Advanced simulation techniques for complex systems
Digital twins and virtual testing environments for complex systems
Simulation-driven development and validation methodologies for complex systems
Simulation-based testing for complex systems
Benchmarking and Test Suites

Engineering of Emerging Computing Paradigms

Quantum software engineering and programming models
Verification and testing of quantum programs and hybrid quantum-classical systems
Distributed ledger technologies and blockchain systems
Formal verification and security of smart contracts
Scalability, interoperability, and performance of blockchain systems
Integration of emerging computing paradigms into complex systems

Complex Systems Design and Architecture

Modeling, designing, and managing complex computer systems
Software and system architecture for large-scale systems
Engineering adaptive and resilient systems with dynamic requirements
Cross-discipline integration and system-level optimization techniques
Integration of emerging technologies (e.g., quantum computing, blockchain) into complex system design

Large Language Models (LLMs) and AI-driven Systems

Safety, security, reliability, and robustness of LLMs and AI systems
Integration of LLMs within complex systems
Applications of LLMs to complex systems
Scalability, performance, and efficiency optimization for AI-driven systems
Trustworthiness and explainability of AI and LLMs in critical applications
Engineering AI-based systems for human-AI collaboration and interaction
AI4SE and SE4AI
LLM-based Agents

Security, Reliability and Dependability

Safety-critical and fault-tolerant architectures
Formal methods
Security and privacy of complex systems
Privacy-preserving AI
Fairness

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 (20 pages incl. references) 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 (11 pages incl. references) 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. Please label short paper submissions with "Short Paper" in the title.

Submission and Publication

Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Each submission will undergo a rigorous single-blind peer-review process by at least three experts.

Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS). Submitted manuscripts should be in English and formatted in the style of LNCS format. 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 with the Springer LNCS guidelines: (Springer LNCS guidelines). We invite all prospective authors to submit their manuscripts via the ICECCS'26 portal, hosted on EasyChair.

Access submission portal

Honorary Chairs

Jin Song Dong, National University of Singapore, Singapore
Andrew Martin, University of Oxford, United Kingdom

General Co-Chairs

Guangdong Bai, City University of Hong Kong, China
Zhe Hou, Griffith University, Australia

Program Co-Chairs

Naipeng Dong, The University of Queensland, Australia
Yun Lin, Shanghai Jiao Tong University, China

Local Arrangement Co-Chairs

TBA

Web & Registration Chair

Shu Peng, The University of Queensland, Australia

Publicity and Social Media Chair

Fuman Xie, The University of Queensland, Australia

Steering Committee

Jin Song Dong, National University of Singapore, Singapore
Mike Hinchey, University of Limerick, Ireland (Chair)
Xiaohong Li, Tianjin University, China
Shaoying Liu, Hiroshima University, Japan
Mauro Pezze, University in Lugano, Switzerland
Roy Sterritt, Ulster University, United Kingdom
Jing Sun, University of Auckland, New Zealand
Yamine Ait-Ameur, IRIT, France

Program Committee Members

Naipeng Dong, National University of Singapore, Singapore
Maurice ter Beek, CNR, Italy
Chenyi Zhang, University of Canterbury, New Zealand
Liuhuo Wan, University of Wollongong, Australia
Kulani Mahadewa, University of Moratuwa, Sri Lanka
Fatiha Zaidi, Paris-Sud University, France
Fumiko Nagoya, Nihon University, Japan
Ferhat Khendek, Concordia University, Canada
Sudipto Ghosh, Colorado State University, USA
Gwen Salaün, University of Grenoble Alpes, France
Flavio Ferrarotti, Software Competence Centre Hagenberg, Austria
Jianjun Zhao, Kyushu University, Japan
Jun Pang, University of Luxembourg, Luxembourg
Scott Uk-Jin Lee, Hanyang University, South Korea
Guangdong Bai, City University of Hong Kong, Hong Kong
Shin Nakajima, National Institute of Informatics, Japan
Shangqing Liu, Nanyang Technological University, Singapore
Lei Bu, Nanjing University, China
Viet Vo, Swinburne University of Technology, Australia
Wuwei Shen, Western Michigan University, USA
Fuyuki Ishikawa, National Institute of Informatics, Japan
Ting Su, East China Normal University, China
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Tatsuhiro Tsuchiya, The University of Osaka, Japan
Yulei Sui, University of New South Wales, Australia
Manuel Núñez, Universidad Complutense de Madrid, Spain
Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France
Jing Sun, The University of Auckland, New Zealand
Dominique Mery, Université de Lorraine, France
Florin Craciun, Babes-Bolyai University, Romania
Zhiwu Xu, Shenzhen University, China
Yongwang Zhao, Zhejiang University, China
Meng Sun, Peking University, China
Guillaume Dupont, Institut de Recherche en Informatique de Toulouse, France
Gerald Luettgen, University of Bamberg, Germany
Zhe Hou, Griffith University, Australia
Hiroshi Hosobe, Hosei University, Japan
Yangyang Zhao, ZheJiang Sci-Tech University, China
Tullio Vardanega, University of Padua, Italy
Yinxing Xue, Institute of AI for Industries, China
Qian Fu, Commonwealth Scientific and Industrial Research Organisation (CSIRO), Australia
Chuan Yan, City University of Hong Kong, Hong Kong
Wanying Dai, Sichuan University, China
Fuman Xie, The University of Queensland, Australia
Xinguo Feng, The University of Queensland, Australia
Tewfik Ziadi, University of Doha for Science and Technology (UDST), Qatar
Frederic Mallet, Universite Nice Sophia-Antipolis, France
Ruitao Feng, University of New South Wales, Australia
Sylvain Conchon, Universite Paris-Saclay, France
Tiziana Margaria, University of Limerick, Ireland
Hai H. Wang, University of Aston, United Kingdom
Xiaoning Du, Monash University, Australia
Dongming Xiang, Tongji University, China
Brahim Hamid, IRIT- University of Toulouse, France
Ning Ge, Beihang University, China
Qiang Hu, Kyushu University, Japan
Wang Lin, Zhejiang Sci-Tech University, China
Christian Attiogbé, L2N – Université de Nantes, France
Kenji Kono, Keio University, Japan
Junjun Zheng, Hiroshima University, Japan
Mingyue Jiang, Zhejiang Sci-Tech University, China
Zihan Wang, The University of Queensland, Australia
Shaoying Liu, East China Normal University, China
Chenkai Guo, Nankai University, China
Yuekang Li, University of New South Wales, Australia
Xiaofei Xie, Singapore Management University, Singapore
Yun Lin, Shanghai Jiao Tong University, China
Kailong Wang, Huazhong University of Science and Technology, China

The 30^th International Conference on Engineering of Complex Computer Systems