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.

Complete information about the workshop is also available from the ARW 2005 web site at the University of Nottingham.

Proceedings

• Abstracts of contributed talks
  [gzipped postscript]

Workshop Information

• Call for papers and participation
  [text]
• Programme
  [html]
• Workshop organisers
  [text]