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

Proceedings

  • Abstracts of contributed talks
    [pdf]

Workshop Information

 
 
 

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