http://ijcar.cs.manchester.ac.uk IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning hourly 1 http://wordpress.org/?v=3.1.3