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 1997 (University of Manchester, 7-8 April 1997)
The Fourth Workshop on Automated Reasoning was held as part of the
1997 AISB Workshop and Tutorial Series,
which was organised by
AISB.
Financial support was received from Compulog Net,
the European Network of Excellence in Computational Logic.
Proceedings
Workshop Information
-
Call for papers and participation
[html]
[text]
-
List of participants
[text]
-
Photo of participants by Mark William Stracey
[tiff]
-
Workshop organisers
[text]
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