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...

This book constitutes the refereed proceedings of the 19th International Conference on Information Security Practice and Experience, ISPEC 2024, held in Wuhan, China, during October 25-27, 2024. 

The 22 full papers presented in this volume were carefully reviewed and selected from 70 submissions. They cover multiple topics of cyber security and applied cryptography. The main goal of ISPEC 2024 conference was to promote research on new information security technologies, including their applications and their integration with IT systems in various vertical sectors.

This Festschrift is dedicated to Ralf Steinmetz on the occasion of his retirement. The honoree is a full professor at the Technical University of Darmstadt in Germany, where he leads the Multimedia Communications lab. He has supervised over 105 successful PhD students and remains committed to his vision of achieving “seamless adaptive multimedia communications.” He has been widely recognized for his contributions to the field, prestigious accolades include an Honorary Doctorate from RWTH Aachen University and a Chair of Excellence at the University Carlos III de Madrid. He is also a...

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.
The 45 full papers  presented in these two volumes were carefully reviewed and selected from 76 submissions. The papers are organized in the following topical sections:
Part I: Optimization and applications; submodularity, management and others,
Part II: Graphs and networks; quantum and others.

This book constitutes the proceedings of the 2nd International Conference on Data Security and Privacy Protection, DSPP 2024, held in Xi'an, China, during October 25-28, 2024.

The 34 full papers included in this volume were carefully reviewed and selected from a total of 99 submissions. The DSPP 2024 conference promotes and stimulates discussion on the latest theories, algorithms, applications, and emerging topics on data security and privacy protection. It encourages the cross-fertilization of ideas and provides a platform for researchers, professionals, and students worldwide to...

This book constitutes the proceedings of the 2nd International Conference on Data Security and Privacy Protection, DSPP 2024, held in Xi'an, China, during October 25-28, 2024.

The 34 full papers included in this volume were carefully reviewed and selected from a total of 99 submissions. The DSPP 2024 conference promotes and stimulates discussion on the latest theories, algorithms, applications, and emerging topics on data security and privacy protection. It encourages the cross-fertilization of ideas and provides a platform for researchers, professionals, and students worldwide to...

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

The 579 full papers presented were carefully reviewed and selected from 1526 submissions. The papers cover various topics in the broad areas of pattern recognition and computer vision, including machine learning, pattern classification and cluster analysis, neural network and deep learning, low-level vision and image processing, object detection and recognition, 3D vision and...

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

The 579 full papers presented were carefully reviewed and selected from 1526 submissions. The papers cover various topics in the broad areas of pattern recognition and computer vision, including machine learning, pattern classification and cluster analysis, neural network and deep learning, low-level vision and image processing, object detection and recognition, 3D vision and...