The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. The 46 papers included in the third volume are organized in topical sections on novel user interfaces and interaction techniques, paper 2.0, recommender systems, social media and privacy, social networks, sound and smell, touch interfaces, tabletops, ubiquitous and context-aware computing, UI modeling, and usability.

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. The 47 papers included in the first volume are organized in topical sections on accessibility, affective HCI, computer-mediated communication, computer-supported cooperative work, evaluation, finding and retrieving, fun/aesthetic design, gestures, and HCI in the classroom.

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. The 49 papers included in the second volume are organized in topical sections on health, human factors, interacting in public spaces, interacting with displays, interaction design for developing regions, interface design, international and culural aspect of HCI, interruptions and attention, mobile interfaces, multi-modal interfaces, multi-user interaction/cooperation, and navigation and wayfinding.

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. The fourth volume includes 27 regular papers organized in topical sections on usable privacy and security, user experience, user modelling, visualization, and Web interaction, 5 demo papers, 17 doctoral consortium papers, 4 industrial papers, 54 interactive posters, 5 organization overviews, 2 panels, 3 contributions on special interest groups, 11 tutorials, and 16 workshop papers.

Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes.
Human Error, Safety and Systems Development gathers contributions from practitioners and researchers presenting and discussing leading edge techniques that can be used to mitigate the impact of error (both system and human) on safety-critical systems. Some of these contributions can be easily integrated into existing systems engineering practices while others provide a more theoretical and fundamental perspective on the issues raised by these kinds of interactive systems. More precisely the contributions cover the following themes:
-Techniques for incident and accident analysis;
-Empirical studies of operator behaviour in safety-critical systems;
-Observational studies of safety-critical systems;
-Risk assessment techniques for interactive systems;
-Safety-related interface design, development and testing;
-Formal description techniques for the design and development of safety-critical interactive systems.
Many diverse sectors are covered, including but not limited to aviation, maritime and the other transportation industries, the healthcare industry, process and power generation and military applications.

This volume contains 20 original and significant contributions addressing these critical questions. The papers were presented at the 7th IFIP Working Group 13.5 Working Conference on Human Error, Safety and Systems Development, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).

INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFIP Technical Committee 13 on Human-Computer Interaction. This year,INTERACT washeld in Uppsala (Sweden), organizedby the Swedish Interdisciplinary Interest Group for Human-Computer Interaction (STIMDI) in cooperation with the Department of Information Technology at Uppsala University. Like its predecessors, INTERACT 2009 highlighted, both to the academic and to the industrial world, the importance of the human-computer interaction (HCI) area and its most recent breakthroughs on current applications. Both - perienced HCI researchers and professionals, as well as newcomers to the HCI ?eld, interested in designing or evaluating interactive software, developing new interaction technologies, or investigating overarching theories of HCI, found in INTERACT 2009 a great forum for communication with people of similar int- ests, to encourage collaboration and to learn. INTERACT 2009 had Research and Practice as its special theme. The r- son we selected this theme is that the research within the ?eld has drifted away from the practicalapplicability of its results and that the HCI practice has come to disregard the knowledge and development within the academic community.

INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFIP Technical Committee 13 on Human-Computer Interaction. This year,INTERACT washeld in Uppsala (Sweden), organizedby the Swedish Interdisciplinary Interest Group for Human-Computer Interaction (STIMDI) in cooperation with the Department of Information Technology at Uppsala University. Like its predecessors, INTERACT 2009 highlighted, both to the academic and to the industrial world, the importance of the human-computer interaction (HCI) area and its most recent breakthroughs on current applications. Both - perienced HCI researchers and professionals, as well as newcomers to the HCI ?eld, interested in designing or evaluating interactive software, developing new interaction technologies, or investigating overarching theories of HCI, found in INTERACT 2009 a great forum for communication with people of similar int- ests, to encourage collaboration and to learn. INTERACT 2009 had Research and Practice as its special theme. The r- son we selected this theme is that the research within the ?eld has drifted away from the practicalapplicability of its results and that the HCI practice has come to disregard the knowledge and development within the academic community.

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human-computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: * HCSE 2007 - Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. * EHCI 2007 - Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. * DSV-IS 2007 - Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories.

The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques. DSV-IS 2008 was held at Queen's University in Kingston, Canada, during July 16-18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen's University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification.

This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2007, held in Toulouse, France, in November 2007. The workshop features current research and gives some indication of the new directions in which task analysis theories, methods, techniques and tools are progressing. The papers are organized in topical sections.

The two volume set LNCS 4662 and LNCS 4663 constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil, in September 2007.

The 50 revised papers of the second volume presented together with 14 doctoral consortium papers, 8 tutorials, 11 posters, video papers and panel surveys, were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on tangible user interfaces and interaction, cultural issues in HCI, safety, security, privacy and usability, user and usability studies, focus and context visualization techniques, and tagging, visualizing social information, online communities and e-learning, children, games, and the elderly, usability studies on collaborative systems, interaction for selection, as well as software engineering and HCI.

The two volume set LNCS 4662 and LNCS 4663 constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil, in September 2007.

The 60 revised papers of the first volume presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on social computing, Web, UI prototyping, user centred design methods and techniques intelligent user interfaces, interaction on the move, accessibility, designing for multiples devices, interaction techniques, affective computing, 3D interaction and 3D interfaces, as well evaluation methods.

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group's activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other's results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.

Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes.
Human Error, Safety and Systems Development gathers contributions from practitioners and researchers presenting and discussing leading edge techniques that can be used to mitigate the impact of error (both system and human) on safety-critical systems. Some of these contributions can be easily integrated into existing systems engineering practices while others provide a more theoretical and fundamental perspective on the issues raised by these kinds of interactive systems. More precisely the contributions cover the following themes:
-Techniques for incident and accident analysis;
-Empirical studies of operator behaviour in safety-critical systems;
-Observational studies of safety-critical systems;
-Risk assessment techniques for interactive systems;
-Safety-related interface design, development and testing;
-Formal description techniques for the design and development of safety-critical interactive systems.
Many diverse sectors are covered, including but not limited to aviation, maritime and the other transportation industries, the healthcare industry, process and power generation and military applications.

This volume contains 20 original and significant contributions addressing these critical questions. The papers were presented at the 7th IFIP Working Group 13.5 Working Conference on Human Error, Safety and Systems Development, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).

This volume contains the full papers presented at HCI 2003, the 17th Annual Conference of the British HCI Group, a specialist group of the British Computer Society. The conference has become the premier annual conference on Human-Computer Interaction in Europe. Attracting researchers, practitioners, educators and users from all over the world, with interests in many facets of human-computer interaction, usability and interactive systems, these published proceedings form an important part of the archive of HCI research. As advances in computing and communications technologies extend the human-computer interface beyond the desktop and into our clothes, streets and buildings, mobile and pervasive applications provide exciting challenges and opportunities. People and Computers XVII - Designing for Society, addresses the main areas of HCI research while focusing on its position and usage within today’s society. The papers raise and discuss numerous questions, such as: · How do we design for usability when human-computer interaction is dispersed and interwoven throughout our environment? · How can we understand and account for the web of influences amongst society, environment and technology? · How do we interact successfully with and through devices and networks with many form factors? · And, how do we design these devices?

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy).

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.

This book developed from an IFIP workshop which brought together methods and architecture researchers in Human Computer Interaction and Software Engineering. To an extent this introduction is a little unfair to the authors, as we have distilled the results of the workshop to give the reader a perspective of the problems within integrated approaches to usability engineering. The papers could not hope to address all ofthe issues; however, we hope that a framework will help the reader gainfurther insights into current research andfuture practice. The initial motivation was to bring together researchers and practitioners to exchange their experiences on Graphical User Interface (Gill) design problems. The two groups represented methodological and architecture/tools interests, so the workshop focused on intersection of how methods can support user interface development and vice versa, how tools, architectures and reusable components can empower the design process. There is, we believe, a constructive tension between these two communities. Methodologists tend to approach the design problem with task/domain/organisational analysis while the tool builders suggest design empowerment/envisioning as a means ofimproving the way users work rather than relying on analysis ofcurrent systems. This debate revolves around the questions of whether users' current work is optimal, or whether designers have the insight to empower users by creating effective solutions to their problems. Tool builders typically want to build something, then get the users to try it, while the methodologists want to specify something, validate it and then build it.

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the second of its kind, following the successful first edition in Italy in 1994. The goal of this ongoing series of meetings is to review the state of the art in the domain of tools, notations and methodologies supporting the design of Interactive Systems. This acknowledges the fact that making systems that are friendlier to the user makes the task ever harder to the designers of such systems, and that much research is still needed to provide the appropriate conceptual and practical tools. The workshop was located in the Chateau de Bonas, in the distant countryside of Toulouse, France. Tms location has been selected to preserve the quiet and studious atmosphere that was established in the monastery of Santa Croce at Bocca di Magra for the first edition, and that was much enjoyed by the participants. The conversations initiated during the sessions often lasted till late at night, in the peaceful atmosphere of the Gers landscape.

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, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: HCI education and training; model-based and model-driven approaches; task modeling and task-based approaches; tools and tool support; and usability evaluation and UI testing.

This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, held in Stockholm, Sweden, in August 2016. The 11 full papers and 14 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover various topics such as integration of software engineering and user-centered design; HCI models and model-driven engineering; incorporating guidelines and principles for designing usable products in the development process; usability engineering; methods for user interface design; patterns in HCI and HCSE; software architectures for user interfaces; user interfaces for special environments; representations for design in the development process; working with iterative and agile process models in HCSE; social and organizational aspects in the software development lifecycle; human-centric software development tools; user profiles and mental models; user requirements and design constraints; and user experience and software design.

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; visualization 3D; visualization in virtual spaces; wearable computing; demonstrations; and interactive posters.

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 with disabilities; interfaces for cognitive support; brain-computer interaction; cognitive factors.

th TAMODIA 2009 was the 8 International Workshop in the series looking at TAskMOdelsandDIAgramsforUserInterfaceDevelopment. Overtheyearsthe submissionshavelookedatavarietyofperspectivesformodeling andannotating the user interface development process. The eighth workshop continued that approachandwascombinedwiththeIFIPWorkingConferenceonHumanError, Safety and Systems Development, HESSD 2009. There is an obvious synergy betweenthetwo workshops, asa rigorous, engineeringapproachto userinterface development can help in the prevention of human error and the maintenance of safety in critical interactive systems. The 12 papers presented here take a variety of approaches and cover d- ferent domains of the application of task modeling. We begin with higher-level perspectives on business processes that enable us to drive user interface dev- opment. Aspects of the general design process are also considered and applied to service-oriented and augmented reality interaction. Formal methods are also investigated for more rigorous development. Model-driven development is also recognized for its contribution to high-level interface design, and continuing the software engineering theme, approaches based on UML are presented. Sousa et al. propose a model-driven approach to linking business processes with user interface models. Their approach is demonstrated in the context of a large ?nancial institution and they show how the alignment between UI models and business can be managed, taking advantage of the traceability provided by model-driven design. Neubauer et al. also consider a ?ow-oriented modeling of business processes as a more open approach to capturing the dynamics of process modeling and understandin