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
|