AVI 2004 Tutorials

T 1 -  Harnessing the Power of Formalism for Understanding Interaction
Alan Dix - Lancaster University, UK
T 2 -  Principles for the Design of Advanced User Interfaces for Mobile Computing
Anxo Cereijo Roibás - University of Brighton, UK
Lucia Terrenghi - Fraunhofer FIT, Germany
Stefania Marcoli - 3 Italy, Italy

Tutorial 1: Tuesday May 25th (9:00- 13:00)

Harnessing the Power of Formalism for Understanding Interaction

Alan Dix
Computing Department
Lancaster University
Lancaster, LA1 4YR, UK


User interfaces and visualization are strange things – we are trying to squeeze the rich complexity of human interaction through the Cartesian mesh of a bitmap screen. By their nature computer systems are formal systems. By understanding this we can deliberately use the expressive power of formalism to understand some of this rich interaction.

This tutorial is intended for those wanting to begin using in formal methods in user interface modelling or to broaden their knowledge of the topic. It will be of value to those at AVI wishing to use formalism to give a more precise understanding of the interfaces they design, or for those who wish to integrate complex underlying algorithms and data structures with effective user interfaces.

The tutorial will draw heavily on Alan’s chapter "Upside down ?s and algorithms – computational formalisms and theory" in John Carroll’s recent edited collection "HCI Models, Theories, and Frameworks". It will review the use of formalism within interactive systems design and demonstrate some of the ways in which more formal approaches can give insight into new areas.

Indicative content: why formalism – what it is and why it is useful in general; a brief history of formalism – from Aristotle to Alan Turing, two and a half thousand years of development; types of formalism in interactive systems design: cognitive models, dialogue models, system models; introduction to techniques, notations, and common problems; a practical success story – formalism really works … and why.

More information at www.hcibook.com/alan/tutorials/formal/avi2004.html


Alan Dix is Professor of Computing at Lancaster University. He has published widely in HCI (over 200 publications) and is the author and editor of several books including his monograph on "Formal Methods for Interactive Systems" and the co-authored "Human–Computer Interaction", which has become one of the principal textbooks in the field. In addition to his personal research record, his professional experience includes an initial training in mathematics, the design of agricultural crop sprayers, being associate dean for research at Staffordshire University, UK, and various consultancies, which, purely by coincidence, follow the wet theme and seem mostly to have been about the design of submarines and boats. He has also been a founder director of two Internet startup companies focused on intelligent agent technology and web community building. Alan's work is typically eclectic and often takes unusual viewpoints to tackle familiar and practical problems. Although his first love is mathematics, he has, at times, been accused of being a sociologist, got his fingers dirty in marketing and, when no one is looking, will play with toy cars and plastic spaceships.


Tutorial 2: Saturday May 29th (9:00- 13:00)

Principles for the Design of Advanced User Interfaces for Mobile Computing

Anxo Cereijo Roibás

Lucia Terrenghi

Stefania Marcoli

University of Brighton
Brighton BN2 4GJ
United Kingdom

Fraunhofer FIT
Institute for Applied Information Technology
Schloss Birlinghoven
53754 Sankt Augustin,

3 Italy
via Leonardo da Vinci 1,
Trezzano sul Naviglio (Mi)


One core idea of ubiquitous computing is that items of our daily environments will acquire computational capacities. Considering that people default to behaviors and expectations of computers in ways consistent with human-to-human contact and relationship, intuitive humanlike interaction procedures will be a paramount issue to provide the user with a usable, useful and enjoyable experience and therefore for the acceptance of third generation mobile services by the market.


The aim of the proposed tutorial is to sensitize participants to the specific experience design issues in ubiquitous computing scenarios; that means to highlight the challenges that interface designers are called to face together with the emerging different solutions that are due to further research. We will focus on the need to adopt an interdisciplinary approach, as we support the idea that the outlined scenario requires input from a broad range of expertise, thus leveraging the power of interdisciplinary inquiry for innovation.



Target Audience and Prerequisite Knowledge The tutorial is intended for: Although not particular skills are required, basic knowledge of HCI design issues are recommendable.


Anxo Cereijo Roibás is Senior Lecturer at the University of Brighton and Contract Professor at the Faculty of Design of the Politecnico di Milano University. He collaborates with the Nokia Research Group on “Wearable Computing for Communication”. He has worked as Human Interface Engineer at the Mobile Internet Services Provider, HiuGO SpA, and he is 3G scenarios design consultant for Omnitel- Vodafone. He co-ordinates several European Commission projects regarding technological joint research co-operation with Asia and America in the field of e-learning, m-learning and Wireless Communications. He has set up distributed projects in the field of new communication technologies with Universities in Canada, China, Australia, Japan and in the USA. He is Italian co-coordinator of the virtual iTV mobility project GTK-7, Cooper Union, NY. He has been jury member of the 33° Premio Smau Industrial Design: Icograda Excellence Award. Anxo expertise relies in the development of user centered design interactive solutions in UMTS multi-access & multi-channel scenarios (Mobile phone, PDA, iTV, PC, smart-home). He is a member of the Wireless Roundtable, special interest group (SIG) devoted to ease-of-use of handheld devices, including mobile telephone handsets, PDAs, and two-way email pagers.


This site is maintained by Paolo Buono and Antonio Piccinno