ARW 2015

Workshop on Automated Reasoning

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

Organising Committee