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.


  • Abstracts of contributed talks
    (to appear)

Workshop Information


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