Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2009 (University of Liverpool, 21st-22nd April 2009)

The Sixteenth Workshop on Automated Reasoning was held at University of Liverpool

Complete information about the workshop is also available from the ARW 2009 web site at the University of Liverpool


  • Abstracts of contributed talks

Workshop Information


last modified on Monday, 18-May-2009 15:32:27 BST