This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows:Part I: Accessibility; Adaptive and AI-Powered Learning Syste...

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows:Part I: Accessibility; Adaptive and AI-Powered Learning Syste...

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows:Part I: Accessibility; Adaptive and AI-Powered Learning Syste...

This book presents a series of revised papers selected from the Workshops organized in conjunction with the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) which was held in Cagliari, Italy, during June 24–26, 2024.The 18 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Engineering Interactive Systems Embedding AI Technologies (EISEAIT 2024 Workshop); an...

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows:Part I: Accessibility; Adaptive and AI-Powered Learning Syste...

This book constitutes revised selected papers from the workshops held in conjunction with EICS 2025 and it contains This book presents a series of revised papers selected from the Workshops and Doctoral Consortium organized in conjunction with the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2025) which was held in Trier, Germany, during June 2025.The 17 full papers together with 16 short papers included in this book were carefully reviewed and selec...

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in September 2018.The 11 full papers and 7 short papers presented together with 5 poster and demo papers were carefully reviewed and selected from 36 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, met...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 43 papers included in the third volume are organized in topical sections on HCI for global software development; HCI in healthcare; HCI studies; human-robot interaction; interactive tabletops; mobile and ubiquitous interaction; multi-screen visualization and large screens; partic...

HCI is a fundamental and multidisciplinary research area. It is fundamental to the development and use of computing technologies. Without good HCI, computing technologies provide less benefit to society. We often fail to notice good HCI. Good HCI passes us by without comment or surprise. The technology lets you do what you want without causing you any further work, effort or thought. You load a DVD into your DVD player and it works: why shouldn't it? You take a photograph with your digital...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 47 papers included in the second volume are organized in topical sections on computer-supported cooperative work and social computing; end-user development; evaluation methods / usability evaluation; eye tracking; gesture interaction; HCI and security; HCI for developing regions ...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015.The 74 full and short papers and 4 organizational overviews, 2 panels, 6 tutorials, and 11 workshops included in the fourth volume are organized in topical sections on tangible and tactile interaction; tools for design; touch and haptic; user and task modelling; visualization; ...