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

Proceedings

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

Workshop Information

• Call for papers and participation
  [text]
• Programme
  [web]
• Workshop organisers
  [text]