Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ARiSVe 2013: submission deadline extension to April 8, 2013


  • Subject: [Frama-c-discuss] ARiSVe 2013: submission deadline extension to April 8, 2013
  • From: andrei.paskevich at lri.fr (Andrei Paskevich)
  • Date: Mon, 11 Mar 2013 15:38:25 +0100

                          Call For Papers

   1st International Workshop on Automated Reasoning in Software Verification

                     *** EXTENDED DEADLINE ***

                     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

  All submissions are reviewed by the program 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 (http://www.easychair.org/publications/easychair.zip).
  Technical details may be included in an appendix to be read at the
  reviewers' discretion. Tool presentation papers and experience
  reports are welcome.

  Papers should be submitted through EasyChair,
  at http://www.easychair.org/conferences/?conf=arisve2013
  Submissions must be in PDF format. Electronic version of proceedings
  will be freely distributed from the workshop web site.

Important Dates

    * Abstract submission deadline: April 3, 2013  (EXTENDED)
    * Submission deadline: April 8, 2013  (EXTENDED)
    * Notification: April 30, 2013
    * Camera ready versions due: May 10, 2013
    * Workshop: June 10, 2013

Invited Speaker

    K. Rustan M. Leino (Microsoft Research)

Program Committee

    * June Andronick (NICTA)
    * Clark Barrett (New York University)
    * Ernie Cohen (Microsoft Corp.)
    * Lo?c Correnson (CEA)
    * Gidon Ernst (Ausburg University)
    * Jean-Christophe Filli?tre (CNRS), co-chair
    * Alwyn Goodloe (NASA)
    * Matthias Horbach (Koblenz University)
    * Vladimir Klebanov (Karlsruhe Institute of Technology)
    * Konstantin Korovin (The University of Manchester)
    * Rosemary Monahan (National University of Ireland)
    * Andrei Paskevich (Universit? Paris-Sud), co-chair
    * Silvio Ranise (Fondazione Bruno Kessler)