ARW 2005 (University of Edinburgh/National e-Science Centre, 29-30th
The Twelfth Workshop on Automated Reasoning was co-located with
IJCAI 2005. Financial support
was received from
The National e-Science Centre;
the School of Informatics,
University of Edinburgh;
the Centre for Intelligent Systems and their Applications,
School of Informatics, University of Edinburgh;
an EPSRC-funded network;
the British Logic Colloquium.
Complete information about the workshop is also available from the
ARW 2005 web
site at the University of Edinburgh.