ICECCS2026: The 30th International Conference on Engineering of Complex Computer Systems TBA Brisbane, Australia, November 23-24, 2026 |
| Conference website | https://formal-analysis.com/iceccs/2026/ |
| Submission link | https://easychair.org/conferences/?conf=iceccs2026 |
| Abstract registration deadline | June 29, 2026 |
| Submission deadline | July 6, 2026 |
ICECCS is an A-ranked international conference by the Computing Research and Education Association of Australasia (CORE) 2020 ranking. 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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome.
- 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 (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.
List of Topics
- Software Engineering
- Verification and validation
- Reverse engineering and refactoring
- Human Machine Interaction
- Agile methods
- Software supply chain of complex systems
- Requirements, Modeling and Formal Methods
- Requirements analysis and specification
- Model-driven development
- Model checking
- SAT/SMT solvers for software analysis and testing
- 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
- 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
- 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
Committees
Program Committee
- Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
- Étienne André, Université Sorbonne Paris Nord, France
- Cyrille Artho, KTH Royal Institute of Technology, Sweden
- Christian Attiogbé, L2N – Université de Nantes, France
- Guangdong Bai, City University of Hong Kong, China
- Bihuan Chen, Fudan University, China
- Xiang Chen, Nantong University, China
- Yuting Chen, Shanghai Jiao Tong University, China
- Florin Craciun, Babes-Bolyai University, Romania
- Juergen Dingel, Queen’s University, Canada
- Ruitao Feng, Southern Cross University, Australia
- Qian Fu, CSIRO Data61, Australia
- Ning Ge, Beihang University, China
- Sudipto Ghosh, Colorado State University, USA
- Brahim HAMID, IRIT-CNRS, Université of Toulouse, France
- Xingshuo Han, Nanyang Technological University, Singapore
- Hiroshi Hosobe, Hosei University, Japan
- Zhe Hou, Griffith University, Australia
- Qiang Hu, Tianjin University, China
- Fuyuki Ishikawa, National Institute of Informatics, Japan
- Riheng Jia, Zhejiang Normal University, China
- Mingyue Jiang, Zhejiang Sci-Tech University, China
- Yu Jiang, Tsinghua University, China
- Ferhat Khendek, Concordia University, Canada
- Scott Uk-Jin Lee, Hanyang University, Korea
- Yi Li, Nanyang Technological University, Singapore
- Yuekang Li, University of New South Wales, Australia
- Feilong Lin, Zhejiang Normal University, China
- Wang Lin, Zhejiang Sci-Tech University, China
- Shangqing Liu, Nanjing University, China
- Ye Liu, Singapore Management University, Singapore
- Gerald Luettgen, University of Bamberg, Germany
- Yixing Luo, Beijing Institute of Control Engineering, China
- Frederic Mallet, Université Nice Sophia-Antipolis, France
- Guozhu Meng, Chinese Academy of Sciences, China
- Dominique Mery, Université de Lorraine, France
- Shin Nakajima, National Institute of Informatics, Japan
- Helen Paik, University of New South Wales, Australia
- Fethi Rabhi, University of New South Wales, Australia
- Neeraj Kumar Singh, IRIT-ENSEEIHT Toulouse, France
- Ting Su, East China Normal University, China
- Yulei Sui, University of New South Wales, Australia
- Jing Sun, University of Auckland, New Zealand
- Meng Sun, Peking University, China
- Wenbing Tang, Nanyang Technological University, Singapore
- Haijun Wang, Xi'an Jiaotong University, China
- Limin Wang, Nanjing University, China
- Shi Lin Wang, Shanghai Jiao Tong University, China
- Hironori Washizaki, Waseda University, Japan
- Tingting Wu, Zhejiang Sci-Tech University, China
- Dongming Xiang, Zhejiang Sci-Tech University, China
- Zhiwu Xu, Shenzhen University, China
- Cen Zhang, Georgia Tech, USA
- Peixin Zhang, Singapore Management University, Singapore
- Xiao-Yi Zhang, Beijing University of Science and Technology, China
- Jianjun Zhao, Kyushu University, Japan
- Yangyang Zhao, Zhejiang Sci-Tech University, China
- Yongwang Zhao, Zhejiang University, China
- Junjun Zheng, Osaka University, Japan
- Changjun Zhou, Zhejiang Normal University, China
Organizing Committee
- Jin Song Dong, National University of Singapore, Singapore
- Andrew Martin, University of Oxford, United Kingdom
- Guangdong Bai, City University of Hong Kong, China
- Zhe Hou, Griffith University, Australia
- Naipeng Dong, University of Queensland, Australia
- Yun Lin, Shanghai Jiao Tong University, China
Publication
ICECCS2026 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.
Venue
The conference will be held in Brisbane, Australia.
Contact
All questions about submissions should be emailed to n.dong@uq.edu.au
