previous up next
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

For other information on HCI, some good links are:

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 page

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.

Other information on formal methods can be found at:

The WWW Virtual Library: Formal Methods

If you are interested in AI and particularly CBR try:

WWW Virtual Library: AI
AI-CBR the case-based reasoning page, and associated mailing list.