This edited book introduces readers to the area of "Everyday Virtual and Augmented Reality". With Virtual and Augmented Reality technologies, becoming more pervasive in our homes and workplaces, new use cases and scenarios emerge together with new challenges that need to be addressed. These challenges encompass the design and implementation of appropriate VR/AR applications for ordinary environments that were not built with the explicit intention of supporting VR systems. The everyday/domestic environments present a range of issues that are usually not present in the physical locations purposed for VR and AR use in academic or professional environments, such as constrained spaces, presence of obstacles, absence of instrumentation, social and organizational restrictions etc. To address the above challenges, we collect the latest work from the Virtual Reality and Augmented Reality research community, by combining the presentation of general definitions and characterization of the field, of interaction concepts and techniques, of a variety of use cases and areas. The constellation of different environment examples (from education, sport to consumer and marketing), from across the globe and platforms, provide a comprehensive discussion on scientific and engineering methods, which enable the development of VR/AR systems in everyday context.

This volume constitutes the proceedings of the 27th International Conference on Collaboration Technologies and Social Computing, CollabTech 2021, held August/September 2021. Due to VOVID-19 pandemic is was held virtually. The 5 full and 4 work-in-process papers presented in this volume were carefully reviewed and selected from 19 submissions. The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science.

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 scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.