Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice


About ARW  |  Organising committee  |  1994  |  1995  |  1996  |  1997  |  1998  |  1999  |  2000  |  2001  |  2002  |  2003  |  2004  |  2005  |  2006  |  2007  |  2008  |  2009  |  2010  |  2011  |  2012  |  2013  |  2014  |  2015  |  Related sites  |  Fancy ARW site

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

Workshop Information


About ARW  |  Organising committee  |  1994  |  1995  |  1996  |  1997  |  1998  |  1999  |  2000  |  2001  |  2002  |  2003  |  2004  |  2005  |  2006  |  2007  |  2008  |  2009  |  2010  |  2011  |  2012  |  2013  |  2014  |  2015  |  Related sites  |  Fancy ARW site

last modified on Thursday, 05-Feb-2015 15:22:09 GMT