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  |  Related sites  |  Fancy ARW site

ARW 2000 (King's College London, 20-21 July 2000)

The Seventh Workshop on Automated Reasoning was held in the week before the First International Conference on Computational Logic and the Tenth International Conference on Inductive Logic Programming, both of which took place at Imperial College, London. Financial support was received from the Max-Planck-Institute for Computer Science in Saarbrücken. Complete information about the workshop is also available from the ARW 2000 web site at King's College.

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  |  Related sites  |  Fancy ARW site

last modified on Monday, 02-Apr-2001 19:35:40 BST