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

Proceedings

  • Titles of contributed talks
    [html]
  • Proceedings of the 23rd Automated Reasoning Workshop
    [pdf]

Workshop Information

 
 
 

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