ICECCS 2026

Deadlines
Software Eng/CORE B

ICECCS 2026

International Conference on Engineering of Complex Computer Systems

November 23-24, 2026Brisbane, AustraliaOfficial conference site Site reachable

ICECCS 2026 is the 30th International Conference on Engineering of Complex Computer Systems, bringing together academic, industrial, and government experts to address challenges in designing, implementing, and managing complex computer systems across domains like healthcare, defense, transportation, and energy. The conference focuses on interdisciplinary solutions for complexity arising from dynamic environments, conflicting requirements, and emerging technologies such as AI, quantum computing, and blockchain, with a goal of fostering dialogue between research and practice.

Official CFP Back to deadlines Verified September 9, 2026

Key deadlines

Verified September 9, 2026

Full paper

July 21, 2026

AoE

Conference timeline

Submission and decisions

Full paperKey deadline

July 21, 2026 · AoE

Paper fit

Contribution paths

A strong submission should clearly identify its contribution and evaluate it appropriately.

Full Papers

Full papers (20 pages incl. references) are divided into two categories: Technical Papers (describing original research) and Experience Reports (presenting practical industry projects and lessons learned). Both are peer-reviewed and published in the conference proceedings.

Short Papers

Short papers (11 pages incl. references) describe early-stage, ongoing, or PhD research. All are peer-reviewed and published in the conference proceedings, and must be labeled 'Short Paper' in the title.

Research areas in scope

01

Requirements, Modeling and Formal Methods

Requirements analysis and specificationModel-driven developmentModel checkingSAT/SMT solvers for software analysis and testing
02

Software Engineering

Verification and validationReverse engineering and refactoringHuman Machine InteractionAgile methodsSoftware supply chain of complex systems
03

Simulation, Testing, and Validation

Advanced simulation techniques for complex systemsDigital twins and virtual testing environments for complex systemsSimulation-driven development and validation methodologies for complex systemsSimulation-based testing for complex systemsBenchmarking and Test Suites
04

Engineering of Emerging Computing Paradigms

Quantum software engineering and programming modelsVerification and testing of quantum programs and hybrid quantum-classical systemsDistributed ledger technologies and blockchain systemsFormal verification and security of smart contractsScalability, interoperability, and performance of blockchain systemsIntegration of emerging computing paradigms into complex systems
05

Complex Systems Design and Architecture

Modeling, designing, and managing complex computer systemsSoftware and system architecture for large-scale systemsEngineering adaptive and resilient systems with dynamic requirementsCross-discipline integration and system-level optimization techniquesIntegration of emerging technologies (e.g., quantum computing, blockchain) into complex system design
06

Large Language Models (LLMs) and AI-driven Systems

Safety, security, reliability, and robustness of LLMs and AI systemsIntegration of LLMs within complex systemsApplications of LLMs to complex systemsScalability, performance, and efficiency optimization for AI-driven systemsTrustworthiness and explainability of AI and LLMs in critical applicationsEngineering AI-based systems for human-AI collaboration and interactionAI4SE and SE4AILLM-based Agents
07

Security, Reliability and Dependability

Safety-critical and fault-tolerant architecturesFormal methodsSecurity and privacy of complex systemsPrivacy-preserving AIFairness

Policies worth checking twice

  • Submissions must not have been published or be concurrently considered for publication elsewhere.
  • All submissions undergo a single-blind peer-review process by at least three experts.
  • Manuscripts must be in English and formatted according to Springer LNCS guidelines.
  • Submissions must be in PDF format.
  • Submissions not adhering to format and length requirements may be rejected immediately without review.
  • Accepted papers may be invited to submit extended versions to the ACM journal Formal Aspects of Computing (FAC), with at least 30% new content and rigorous additional review.

Official sources

Compiled from the official call for papers. The organizers’ pages remain authoritative.

Official conference siteHeretext versionpdf versionAccepted Papers.

Last verified September 9, 2026