Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2017 (University of Bristol, 3rd-4th April 2017)

The Twenty-Fourth Workshop on Automated Reasoning (ARW 2017) will be organised by Oliver Ray at the University of Bristol on 3rd-4th April 2017.

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


  • Titles of contributed talks
  • Proceedings of the 23rd Automated Reasoning Workshop

Workshop Information


last modified on Monday, 27-Mar-2017 20:35:13 BST