Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2008 (University of Birmingham, 30th-31st July 2008)

The Fifteenth Workshop on Automated Reasoning was held at University of Birmingham.

Complete information about the workshop is also available from the ARW 2008 web site at the University of Birmingham


  • Abstracts of contributed talks

Workshop Information


last modified on Friday, 01-Aug-2008 17:04:18 BST