logoFrom Formalism to Physicality

Alan Dix

Masterclass: From Formalism to Physicality part of UPC North: Understanding People and Computers, UCLanc, Preston, 30th April 2008. 


This is a masterclass I delivered as part of the UPC North organised by Janet Read and others in 2008.


  1. from formalism to physicality – introduction
    slides (PDF, 188K)
  2. what is formal? – finger counting to abstract concepts
    slides (PDF, 451K)
  3. a brief history of formalism – from Aristotle to Alan Turing
    slides (PDF, 636K)
  4. using formalism in HCI – from cognitive models to placemats
    slides (PDF, 141K)  
  5. dialogue notations – what to do when
    slides (PDF, 684K)
  6. modelling state – looking within
    slides (PDF, 236K)
  7. formal methods in HCI – a success story
    slides (PDF, 343K)
  8. interaction models – talking generally
    slides (PDF, 410K)
  9. formal futures – ubiquity and physicality
    slides (PDF, 1Mb)


Related Publications

A. J. Dix (1991). 
Formal Methods for Interactive Systems. 
Academic Press. ISBN 0-12-218315-0 
table of contents and full text | full text PDF

A. Dix (2003). Upside down As and algorithms - computational formalisms and theory Chapter 14 in HCI Models, Theories, and Frameworks: Toward a Mulitdisciplinary Science. John Carroll (ed.) San Francisco, USA: Morgan Kaufmann. ISBN 1-55860-808-7). pp. 381-429.
abstract and full text

A. Dix, J. Sheridan, S. Reeves, S. Benford and C. O'Malley (2005). Formalising Performative Interaction. Proceedings of DSVIS'2005. (Newcastle, UK, 13-15 July 2005). Springer, LNCS 3941, pub. 2006. pp 15-25.
abstract and draft paper

A. Dix, M. Ghazali, S. Gill, J. Hare and D. Ramduny-Ellis (2009).  Physigrams: Modelling Devices for Natural Interaction. Formal Aspects of Computing, Springer, 21(6):613-641
abstract and links

A. Dix (2012). Formal Methods. In: M. Soegaard and R. Dam (eds.). "Encyclopedia of Human-Computer Interaction". Aarhus, Denmark: The Interaction Design Foundation. 
online chapter

Weyers, B., Bowen, J., Dix, A., Palanque, P. (Eds.) (2017) The Handbook of Formal Methods in Human-Computer Interaction. Springer. ISBN 978-3-319-51838-1
Springer details

A. Dix. (2018). Practical Formal Methods in HCIComputational Interaction Design. A. Oulasvirta, P. Ola Kristensson, X. Bi, A. Howes (eds). Oxford University Press (in press).
abstract and links



























Alan Dix 14/10/2017