Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



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.


Workshop Information

  • Call for papers and participation
  • Programme
  • Workshop organisers

last modified on Friday, 15-Apr-2005 13:42:21 BST