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 2011 (University of Glasgow on 11-12th April 2011)
The Eighteenth Workshop on Automated Reasoning was held at
University of Glasgow.
Complete information about the workshop is also available from the
ARW 2011 web
site at the University of Glasgow.
Proceedings
-
Abstracts of contributed talks
[pdf]
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
Wednesday, 14-Dec-2011 16:57:46 GMT