2013-01-11

[Caml-list] 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

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 (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: March 8, 2013
* Submission deadline: March 15, 2013
* Notification: April 10, 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)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

No comments: