ARiSVe Workshop 2013

1st International Workshop on Automated Reasoning in Software Verification

Affiliated with the 24th International Conference on Automated Deduction
(CADE-24)

June 10, 2013

Lake Placid, NY, USA

the workshop is canceled due to very low number of submissions


Aims and Scope

The focus of the workshop is application of automated reasoning in the context of software verification, and, more generally, automation in software verification. Relevant topics include but are not limited to:


Paper Submission and Proceedings

All submissions are reviewed by the programme committee. We expect that one author of every accepted paper will present their work at the workshop.

Submissions are limited to 6-12 pages in the LaTeX EasyChair format easychair.cls. Technical details may be included in an appendix to be read at the reviewers' discretion. Tool presentation papers and experience reports are welcome.

To submit a paper, go to the EasyChair ARiSVe page and follow the instructions there. Submissions must be in PDF format. Electronic version of proceedings will be freely distributed from the workshop web site.

Important Dates


Invited Speaker

K. Rustan M. Leino (Microsoft Research)

Program Committee