Conferences on Intelligent Computer Mathematics - Birmingham 2008
Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice


Birmingham, UK, 30-31 July 2008

General Information

This event will continue the highly successful series of Workshops on Automated Reasoning, and will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

This year's workshop will be a constituent of the Conferences on Intelligent Computer Mathematics (CICM '08). Further information, including details about registration can be found by following the links on the left of this page.

Details of the ARW organisation and of previous ARW events can be found at the ARW website.