ARW 2014 (Vienna Summer of Logic 23rd-24th July 2014)
Twenty-First Workshop on Automated Reasoning
(ARW-DT 2014) was held in conjunction with our counterpart German workshop
WING (Workshop on Invariant Generation) and the VERIFY workshop
on 23rd-24th July 2014.
It was organised by Alexander Bolotov and Manfred Kerber as
a workshop within the
Vienna Summer of Logic (9th-24th July 2014).
Complete information about the workshop is also available from the
ARW-DT 2014 web site
Titles of abstracts of contributed talks
Proceedings of the 21st Automated Reasoning Workshop
Call for papers and participation