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.

Proceedings

  • Titles of abstracts of contributed talks
    [text]
  • Proceedings of the 20th Automated Reasoning Workshop
    [html]

Workshop Information

 
 
 

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