ARW 2015

Workshop on Automated Reasoning

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

Important Dates

Abstract Submission

Submission of 2-page abstract: 9 March 2015

Notification of acceptance: 13 March 2015

Final version due: 13 March 2015

Workshop: 9-10 April 2015

Student Grants

Student grant application deadline: 27 February 2015

Notification of acceptance: 13 March 2015

Please send an informal email to V.Sorge@cs.bham.ac.uk with your name, affiliation, supervisor and a brief statement on what you are working on for your PhD. You can provide more details later in your abstract.
Remember, presenting very early work is absolutely fine!