ARW 2014 (Vienna Summer of Logic 23rd-24th July 2014)
The
Twenty-First Workshop on Automated Reasoning
(ARW-DT 2014) was held in conjunction with our counterpart German workshop
Deduktionstreffen,
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
Proceedings
-
Titles of abstracts of contributed talks
[text]
-
Proceedings of the 21st Automated Reasoning Workshop
[pdf]
Workshop Information
-
Call for papers and participation
[text]
-
Workshop organisers
[text]
|