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 1999 (University of Edinburgh, 8-9 April 1999)

The Sixth Workshop on Automated Reasoning was held as part of the AISB'99 Convention, which was organised by AISB. Two sessions were shared with the Symposium on AI and Scientific Creativity. Financial support was received from Compulog Net, the European Network of Excellence in Computational Logic.

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 Monday, 02-Apr-2001 19:35:40 BST