ARW 2004 (University of Leeds, 31 March-1 April 2004)

The Eleventh Workshop on Automated Reasoning was held as part of the AISB 2004 Convention, which was organised by AISB. Financial support was received from CoLogNET, 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.

Proceedings

• Abstracts of contributed talks
  [postscript/pdf]

Workshop Information

• Call for papers and participation
  [text]
• Programme
  [pdf]
• Workshop organisers
  [text]