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

• Programme
  [html]