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.

Proceedings

Workshop Information

 
 
 

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