Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 2015 (University of Birmingham, 9th-10th April 2015)

The Twenty-Second Workshop on Automated Reasoning (ARW 2015) was organised by Volker Sorge at the University of Birmingham on 9th-10th April 2015.

Complete information about the workshop is also available from the ARW 2015 web site

Proceedings

  • Titles of abstracts of contributed talks
    [text]
  • Proceedings of the 22nd Automated Reasoning Workshop
    [pdf]

Workshop Information

 
 
 

last modified on Monday, 20-Apr-2015 14:39:43 BST