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 2004 (University of Leeds, 31 March-1 April 2004)
The Eleventh Workshop on Automated Reasoning was held as part
of the
AISB 2004 Convention, which was organised by
AISB. Financial support
was received from
CoLogNET,
the European Network of Excellence in Computational Logic, and
from the School of Computing, University of Leeds.
Complete information about the workshop is also available from the
ARW 2004 web site
at the University of Leeds.
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, 06-Apr-2004 19:17:12 BST