Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2016 (University of Liverpool, 19th-20th May 2016)

The Twenty-Third Workshop on Automated Reasoning (ARW 2016) was organised by Ullrich Hustadt at the University of Liverpool on 19th-20th May 2016.

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


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

Workshop Information


last modified on Wednesday, 01-Jun-2016 13:14:28 BST