Full Description
This book constitutes the refereed proceedings of the 30th International Conference on Engineering of Complex Computer Systems, ICECCS 2026, which took place in Brisbane, Australia, during November 23-24, 2026.
The 39 full papers and 9 short papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: Formal Verification, Validation & Correctness; Software Engineering & Program Analysis; AI/LLM for Software Engineering; LLMs, AI Systems & Agents; Software Security & Assurance; Cybersecurity & Threat Analysis; Trustworthy AI & Governance; and Emerging Computing Paradigms.



