Andrei Paskevich | 4 Mar 22:48 2013

ARiSVe 2013 final call for papers

                          Call For Papers

   1st International Workshop on Automated Reasoning in Software Verification


                       Monday, June 10, 2013
                       Lake Placid, NY,  USA
                      Affiliated with CADE-24

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:

    * specifics of verification-related automated reasoning tasks;
    * efficient translation of high-level verification conditions to
      logical languages of automated reasoning tools;
    * handling of the prover's feedback: proofs, models, answer terms;
    * logical theories of interest for program verification, decision
      procedures, integration into existing ATP and SMT systems;
    * combination of automated and user-assisted verification;
    * tool presentations, tool comparisons, and benchmarks;
    * experience reports on verification of complex algorithms and
      real-life software with the use of automated reasoning tools.

Paper Submission and Proceedings

  All submissions are reviewed by the program committee. We expect
(Continue reading)