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

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 41 papers included in the first volume are organized in topical sections on accessibility; accessible interfaces for blind people; accessible interfaces for older adults; affective HCI and emotions and motivational aspects; alternative input; alternative input devices for people ...

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 provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scen...

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

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 presents a series of revised papers selected from the Doctoral Consortium (DC) and the Workshops organized in conjunction with the 15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2023) which was held in Swansea, United Kingdom, during June 27-30, 2023.The 17 full papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows: engineering interactive computing systems fo...

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

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.