19th Automated Reasoning Workshop (2012)
Website: http://cgi.csc.liv.ac.uk/%7Eclare/ARW/2012.html
Dates: 02 Apr - 04 Apr
City: Manchester