Previous: PublicationsUp: Andy Dearden's Web Page Next: That's all folks

Further

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:

If you are interested in AI and particularly CBR try: