Workshop on Autmated Reasoning (2006)
Website: http://www.csc.liv.ac.uk/%7Eclare/ARW/2006.html
Dates: 03 Apr - 04 Apr
City: Bristol