Previous: PublicationsUp: Andy Dearden's Web Page Next: That's all folks
Don't miss HCI 2009
Join in the Technology and Social Action action
Follow our work on Rural e-Services
HCI4D a website where we are trying to bring together work on Interaction Design & International Development
Usability News is the best place to keep up to date with what is happening in the HCI world
Usernomics provides links to a large number of HCI resources around the world. Well worth a visit!
WWW Virtual Library: Human Computer Interaction
European server on HCI Bibliography Search by keywords
The "Design, Specification and Verification of Interactive Systems" workshop series
Formal Aspects of the Human Computer Interface, 1996 in Sheffield
The Amodeus home
The 1996 Workshop on
User Interfaces to Theorem Provers at York.
The 1995 Workshop on Interface Design for Theorem Proving Systems which was held at Glasgow.