Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



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


  • Titles of abstracts of contributed talks
  • Proceedings of the 21st Automated Reasoning Workshop

Workshop Information

  • Call for papers and participation
  • Workshop organisers

last modified on Thursday, 05-Feb-2015 14:34:57 GMT