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 2007 (Imperial College, London, 19-20th
April 2007)
The Fourteenth Workshop on Automated Reasoning was held at
Imperial College, London.
Financial support
was received from the
SymNet Network.
Complete information about the workshop is also available from the
ARW 2007 web
site at Imperial College, London.
Proceedings
-
Abstracts of contributed talks
(not available)
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
Thursday, 26-Apr-2007 11:19:08 BST