ARW 2015 (University of Birmingham, 9th-10th April 2015)
The
Twenty-Second Workshop on Automated Reasoning
(ARW 2015) was organised by
Volker Sorge at the
University of
Birmingham on 9th-10th April 2015.
Complete information about the workshop is also available from the
ARW 2015 web site
Proceedings
-
Titles of abstracts of contributed talks
[text]
-
Proceedings of the 22nd Automated Reasoning Workshop
[pdf]
Workshop Information
|