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
|