ARW 2015

Workshop on Automated Reasoning

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

Registration

Registration fees are as follows:
Regular£ 100
Student£ 80

Please register online here or on arrival at the workshop.