Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 2007 (Imperial College, London, 19-20th April 2007)

The Fourteenth Workshop on Automated Reasoning was held at Imperial College, London. Financial support was received from the SymNet Network.

Complete information about the workshop is also available from the ARW 2007 web site at Imperial College, London.

Proceedings

  • Abstracts of contributed talks
    (to appear)

Workshop Information

 
 
 

last modified on Wednesday, 25-Apr-2007 18:26:14 BST