ARW 2015

Workshop on Automated Reasoning

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

Submission

We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions.

To prepare your submission, please use the ARW LaTeX style file provided from the workshop website. Each submission should include the names and complete addresses (including email) of all authors. Correspondence will be sent to the first author, unless otherwise indicated.

Each submission should include the names and complete addresses (including email) of all authors. Correspondence will be sent to the first author, unless otherwise indicated. Abstracts will be published in informal workshop notes and be made available by WWW.

Electronic submission is done through easychair.