ARW 2006 (University of Bristol, 3-4th
The Thirteenth Workshop on Automated Reasoning was co-located with
was received from the
British Logic Colloquium
Microsoft Research Cambridge.
Complete information about the workshop is also available from the
ARW 2005 web
site at the University of Nottingham.