Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



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.


Workshop Information


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