ARW 2009 (University of Liverpool, 21st-22nd April 2009)

The Sixteenth Workshop on Automated Reasoning was held at University of Liverpool

Complete information about the workshop is also available from the ARW 2009 web site at the University of Liverpool

Proceedings

• Abstracts of contributed talks
  [html]

Workshop Information

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