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

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]
 
 
 

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