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

The Eighteenth Workshop on Automated Reasoning was held at University of Glasgow.

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

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 Wednesday, 14-Dec-2011 16:57:46 GMT