ARW 2015

Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice
Birmingham, UK, 9-10 April 2015

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.

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

Registration is now open here