This seven-volume set LNCS 14054-14060 constitutes the proceedings of the 25th International Conference, HCI International 2023, in Copenhagen, Denmark, in July 2023.

For the HCCII 2023 proceedings, a total of 1578 papers and 396 posters was carefully reviewed and selected from 7472 submissions. Additionally, 267 papers and 133 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work”.

These papers were organized in the following topical sections: HCI Design and User Experience; Cognitive Engineering and Augmented...

This book constitutes the refereed conference proceedings of the 25th International Conference on Information Integration and Web Intelligence, iiWAS 2023, organized in conjunction with the 21st International Conference on Advances in Mobile Computing and Multimedia Intelligence, MoMM2023, held in Denpasar, Bali, Indonesia, during December 4-6, 2023.

The 24 full papers and 24 short papers presented in this book were carefully reviewed and selected from 96 submissions. The papers are divided into the following topical sections: business data and applications; data management; deep and...

This book constitutes the refereed proceedings of the 21st International Conference on Advances in Mobile Computing and Multimedia Intelligence, MoMM2023, organized in conjunction with the 25th International Conference on Information Integration and Web Intelligence, iiWAS 2023, held in Denpasar, Bali, Indonesia, during December 4-6, 2023.

The 10 full papers and 5 short papers presented in this book were carefully reviewed and selected from 37 submissions. The papers are divided into the following topical sections: security in mobile environments; mobile computing and wireless...

This book constitutes the refereed proceedings of the 14th International Workshop on Post-Quantum Cryptography, PQCrypto 2022, held in College Park, MD, USA, in August 14–18, 2023.

This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12–15, 2023.

The 6 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They span a wide variety of topics including DSL design and implementation, dependent type systems, instruction set architecture, data structures, and logic programming.

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.

The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide...

This two-volume set LNCS 14193-14194 constitutes the proceedings of International Workshops co-located with the 17th International Conference on Document Analysis and Recognition, ICDAR 2023, held in San José, CA, USA, during August 21–26, 2023.

The total of 43 regular papers presented in this book were carefully selected from 60 submissions. 

Part I contains 22 regular papers that stem from the following workshops:

ICDAR 2023 Workshop on Computational Paleography (IWCP);

ICDAR 2023 Workshop on Camera-Based Document Analysis and Recognition (CBDAR);...

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023.

The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: automatic programming and program tuning; frameworks and services; algorithms; and distributed systems management.

This six-volume set of LNCS 14187, 14188, 14189, 14190, 14191 and 14192 constitutes the refereed proceedings of the 17^th International Conference on Document Analysis and Recognition, ICDAR 2021, held in San José, CA, USA, in August 2023. The 53 full papers were carefully reviewed and selected from 316 submissions, and are presented with 101 poster presentations.

The papers are organized into the following topical sections: Graphics Recognition, Frontiers in Handwriting Recognition, Document Analysis and Recognition.