ARW 2012 (University of Manchester on 2nd-4th April 2012)

The Nineteenth Workshop on Automated Reasoning was held at University of Manchester.

Support was received from the

• Automated Reasoning Workshop
• British Logic Colloquium
• School of Computer Science, University of Manchester
• University of Manchester

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

Proceedings

• Titles of abstracts of contributed talks
  [text]
• Proceedings of the 19th Automated Reasoning Workshop
  [html]

Workshop Information

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