Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

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

 
 
 

last modified on Monday, 28-May-2012 12:17:36 BST