From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 724587F30A for ; Mon, 11 Mar 2013 15:38:48 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of andrei@tertium.org) identity=pra; client-ip=209.85.128.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="andrei@tertium.org"; x-sender="andrei@tertium.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of andrei@tertium.org) identity=mailfrom; client-ip=209.85.128.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="andrei@tertium.org"; x-sender="andrei@tertium.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ve0-f171.google.com) identity=helo; client-ip=209.85.128.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="andrei@tertium.org"; x-sender="postmaster@mail-ve0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsHAHTqPVHRVYCrgGdsb2JhbABDiCWqVgGSSF4IFg4BARQoKDkCghIGRRERFQ8CJgIkEgEFAT4Qh3oMnWmLY5F3gSOMNINrgRMDllWBHoo3gz4WKYQuO4Eu X-IPAS-Result: ArsHAHTqPVHRVYCrgGdsb2JhbABDiCWqVgGSSF4IFg4BARQoKDkCghIGRRERFQ8CJgIkEgEFAT4Qh3oMnWmLY5F3gSOMNINrgRMDllWBHoo3gz4WKYQuO4Eu X-IronPort-AV: E=Sophos;i="4.84,822,1355094000"; d="scan'208";a="6461503" Received: from mail-ve0-f171.google.com ([209.85.128.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Mar 2013 15:38:47 +0100 Received: by mail-ve0-f171.google.com with SMTP id b10so2691036vea.16 for ; Mon, 11 Mar 2013 07:38:46 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-received:mime-version:sender:from:date:x-google-sender-auth :message-id:subject:cc:content-type:content-transfer-encoding :x-gm-message-state; bh=Y2b0x9GcXSugGJbS+sPC3xnaIo2MwX3e6IaBrVk9txM=; b=YdF5NRJaOLJcZ3urlYr1uU7JPKBqiXqGKlWRojzwim2KYVQp0OetJPAdiUxadnVqVC lGJKP2R1u4rM/knAOMC8vBeJukev64BXjqplzaLp085fLfGDtK/2pRfpbGmOKkGejFpT qHVMHbo3ywtXTeGPlxVbPbQs/Mqdpfa3dcp+o116pdcLuQu69C0VuWfw6x4K+QV4lIkD WDQmXTMME71rr4FOo+EH2T1XgYiIxIV1V9CxRE/h3eoPWv4xMFLoMJQOJ5ZHucGX9ace SXMsLAWtu2QvAGCt85AiWeIj5vF1hHBDZdfQuEPfA+9E+Inh2+ApARE2QhHAtu10FXDy mX/A== X-Received: by 10.220.202.198 with SMTP id ff6mt1112312vcb.52.1363012726357; Mon, 11 Mar 2013 07:38:46 -0700 (PDT) MIME-Version: 1.0 Sender: andrei@tertium.org Received: by 10.58.106.227 with HTTP; Mon, 11 Mar 2013 07:38:25 -0700 (PDT) From: Andrei Paskevich Date: Mon, 11 Mar 2013 15:38:25 +0100 X-Google-Sender-Auth: oRiA8ai2QCdQ2JoNmgWEKgQHxmU Message-ID: Cc: =?UTF-8?Q?Jean=2DChristophe_Filli=C3=A2tre?= Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQnoH2QrRceUy6HWm01Cv4+BMUQEnOCGzsDRrTfgjr3uU9wHy1lkyaqVq/hSud/QcE4Ts1h5 X-Validation-by: andrei.paskevich@lri.fr Subject: [Caml-list] ARiSVe 2013: submission deadline extension to April 8, 2013 Call For Papers 1st International Workshop on Automated Reasoning in Software Verificati= on *** 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=3Darisve2013 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=C3=AFc Correnson (CEA) * Gidon Ernst (Ausburg University) * Jean-Christophe Filli=C3=A2tre (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=C3=A9 Paris-Sud), co-chair * Silvio Ranise (Fondazione Bruno Kessler)