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 2001 (University of York, 22-23 March 2001)
The Eighth Workshop on Automated Reasoning was held as part
of the
AISB 2001 Convention, which was organised by
AISB.
Complete information about the workshop is also available from
the
ARW 2001 web site.
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, 11-Dec-2001 19:05:40 GMT