The 30th International Conference on Engineering of Complex Computer Systems

The International Conference on Engineering of Complex Computer Systems (ICECCS) focuses on the formal methods, modeling, and verification techniques required to build reliable large-scale software and hardware systems. The 30th edition, held in Brisbane, Australia, covers topics including model checking, program verification, software architecture, real-time systems, and safety-critical system design. It provides a long-standing venue for researchers addressing the engineering challenges posed by increasingly complex computational systems.