Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2013 (University of Dundee on 11-12th April 2013)

The Twentieth Workshop on Automated Reasoning was held at University of Dundee.

Support was received from the

  • The Scottish Informatics and Computer Science Alliance
  • British Logic Colloquium
  • ARW

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


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

Workshop Information


last modified on Tuesday, 08-Oct-2013 14:28:28 BST