Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2012 (University of Manchester on 2nd-4th April 2012)

The Nineteenth Workshop on Automated Reasoning was held at University of Manchester.

Support was received from the

  • Automated Reasoning Workshop
  • British Logic Colloquium
  • School of Computer Science, University of Manchester
  • University of Manchester

Complete information about the workshop is also available from the ARW 2012 web site at the University of Manchester.


  • Titles of abstracts of contributed talks
  • Proceedings of the 19th Automated Reasoning Workshop

Workshop Information


last modified on Monday, 28-May-2012 12:17:36 BST