This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.

Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association. His career has included industry research in the UK, Austria and Belgium, a PhD at the University...

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.

After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries. At GEC's Hirst Research Centre he worked on a novel distributed telephone exchange and a service specification of a PABX exchange. In Oxford he collaborated with IBM Hursley Laboratories on modelling of the CICS...

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024.

The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions.

In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical...