The 12th Workshop on Automated Reasoning
Bridging the gap between theory and practice

29th and 30th July 2005

[Home Page] [Previous Workshops] [Call for Papers] [Guide for Authors] [Programme]
[Related Event] [How to Get There] [Weather and Tourism] [ Registration] [Accommodation
[Sponsors] [Student Bursaries]


ARW 2005 is sponsored/supported by:
NESC
School of Informatics
CISA
SymNet
The British Logic Colloquium