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


  • Titles of abstracts of contributed talks
  • Proceedings of the 22nd Automated Reasoning Workshop

Workshop Information


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