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 1994 (University of Leeds, 11-12 April 1994)

The First Workshop on Automated Reasoning was held as part of the 1994 AISB Workshop and Tutorial Series, which was organised by AISB. Additional sponsorship was received from the University of Leeds Centre for Theoretical Computer Science and the University of York Intelligent Systems Group.

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