Engineering for Human-Computer Interaction Daniel W W ANSING Displaying as Temporalizing:

W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9

and David is an unchanged

die sich in einen begründungslogischen Zusammenhang mit einigen seiner praktischen Grundsätze bringen lassen

16 Syntax -- 3 Modern Frisian

en passant par les célèbres poèmes de La Légende des siècles

Engineering for Human-Computer Interaction Daniel W W ANSING Displaying as Temporalizing:The aim of IFIP Working Group 2. 7 (13. 4) for User Interface Engineering is to investigate the nature, concepts and construction of user interfaces for software systems. The group's scope is: developing user interfaces based on knowledge of system and user behaviour; developing frameworks for reasoning about interactive systems; and developing engineering models for user interfaces. Every three years, the group holds a "working conference" on these