This volume presents the latest advancements in the engineering of complex computer systems, as discussed at the 28th International Conference, ICECCS 2024. The proceedings compile 18 full papers and 4 short papers, meticulously selected from 68 submissions, covering critical areas such as Machine Learning and Complex Systems, Neural Network Verification, A.I. for Software Engineering, Smart Contracts, Formal Methods, and Security & Program Analysis. These papers reflect the cutting edge of research and development in creating and managing sophisticated computational infrastructures. The conference provided a platform for researchers and practitioners to share their findings and discuss future directions in the field.

This collection of proceedings offers a snapshot of current research in complex computer systems engineering, as presented at ICECCS 2024. The selection of papers indicates a focus on emerging technologies like machine learning and AI applications in software engineering, alongside foundational areas such as formal methods and security. The inclusion of topics like smart contract verification suggests an engagement with blockchain and decentralized systems. The proceedings are likely to be of interest to researchers, academics, and industry professionals specializing in these advanced computing domains.