Jean-Christophe Filliatre | 11 Jan 17:52 2013
Picon

ARiSVe 2013 Call for Papers

                           Call For Papers

    1st International Workshop on Automated Reasoning in Software 
Verification

                      http://arisve2013.lri.fr/

                        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

(Continue reading)


Gmane