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 2013 (University of Dundee on 11-12th April 2013)

The Twentieth Workshop on Automated Reasoning was held at University of Dundee.

Support was received from the

Complete information about the workshop is also available from the ARW 2013 web site at the University of Dundee.

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 Tuesday, 08-Oct-2013 15:05:44 BST