ARW 2003 (University of Liverpool, 15-16 April 2003)
The Tenth Workshop on Automated Reasoning was held at the Greenbank
Conference Centre in Liverpool. Financial support was
received from CoLogNET,
the European Network of Excellence in Computational Logic, and
from the Department of Computer Science, University of Liverpool.
Complete information about the workshop is also available from the
ARW 2003 web site
at the University of Liverpool.