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 2006 (University of Bristol, 3-4th April 2006)

The Thirteenth Workshop on Automated Reasoning was co-located with AISB 2006. Financial support was received from the British Logic Colloquium and Microsoft Research Cambridge.

Proceedings

Abstracts of contributed talks
[gzipped postscript]

Workshop Information

Call for papers and participation
[text]
Programme
[html]
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 Friday, 07-Apr-2006 16:56:10 BST