ARW 2004 (University of Leeds, 31 March-1 April 2004)
The Eleventh Workshop on Automated Reasoning was held as part
AISB 2004 Convention, which was organised by
AISB. Financial support
was received from
the European Network of Excellence in Computational Logic, and
from the School of Computing, University of Leeds.
Complete information about the workshop is also available from the
ARW 2004 web site
at the University of Leeds.