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 seven-volume set LNCS 14054-14060 constitutes the proceedings of the 25th International Conference, HCI International 2023, in Copenhagen, Den...
This book constitutes the refereed proceedings of the 22nd IFIP TC 14 International Conference on Entertainment Computing, ICEC 2023, which was held in Bologna, Italy, during November 15–17, 2023.
The 13 full papers, 5 short papers, 8 work-in-progress papers, 7 interactive entertainment demonstrations, 2 student competition papers, 5 workshop papers and tutorials, and 10 papers from a special section on aesthetics and empowerment were carefully reviewed and selected from 85 submissions. They cover a large range of topics in the following thematic areas: Game...
This book constitutes the refereed proceedings of the 22nd IFIP TC 14 International Conference on Entertainment Computing, ICEC 2023, which was hel...
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.
The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program...
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Ta...
This eleven-volume set LNCS 14815 – 14825constitutes 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 – 14825constitutes the refereed workshop proceedings of the 24th International Conferenc...
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 Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international st...
This eleven-volume set LNCS 14815 – 14825constitutes 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 – 14825constitutes the refereed workshop proceedings of the 24th International Conferenc...
This eleven-volume set LNCS 14815 – 14825constitutes 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 – 14825constitutes the refereed workshop proceedings of the 24th International Conferenc...
This eleven-volume set LNCS 14815 – 14825constitutes 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 – 14825constitutes the refereed workshop proceedings of the 24th International Conferenc...
This eleven-volume set LNCS 14815 – 14825constitutes 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 – 14825constitutes the refereed workshop proceedings of the 24th International Conferenc...
This eleven-volume set LNCS 14815 – 14825constitutes 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 – 14825constitutes the refereed workshop proceedings of the 24th International Conferenc...