From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id DB6D97EE57 for ; Mon, 10 Dec 2012 18:35:05 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gudmundgrov@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gudmundgrov@gmail.com"; x-sender="gudmundgrov@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of gudmundgrov@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gudmundgrov@gmail.com"; x-sender="gudmundgrov@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gudmundgrov@gmail.com"; x-sender="postmaster@mail-wg0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYCALkbxlBKfVI2imdsb2JhbABDAYNIuzEIFg4BAQEKCQ0HEgYjgkIdBgEbBBoDEhAiBAI2EQEFATWHfgEDDwyWNYJtjDOCe4RGChknDVmIdQEFDIwzFXkMEQGDFwOWBo5oP4QUgWQ X-IronPort-AV: E=Sophos;i="4.84,252,1355094000"; d="scan'208";a="165370992" Received: from mail-wg0-f54.google.com ([74.125.82.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Dec 2012 18:35:05 +0100 Received: by mail-wg0-f54.google.com with SMTP id fg15so1792178wgb.9 for ; Mon, 10 Dec 2012 09:35:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:content-type:content-transfer-encoding:subject:date:message-id :to:mime-version:x-mailer; bh=sc30M0BIGDhkNOJsp3zCX0SGWjLkXR6ZoeGruYBO+cE=; b=AT2l6G3zx1tXtQjvBIoXHEGZuuF0cR87K+VHj1QSlLhf/sS6pAw/lwumgzgo4z//Yc 56fLcKJHxBjgwyUE/vufpuWKtOSTriIhVIHw81034RSePqcLgbIsaUjoIp+EnTJBU7AK b06tb8R7AAr4WCpTJCZpQhMv4aL88bPW8MmJd7F6wXlOKGbervN78+MvctkC09G6POik F42QnSH0wPCt5+qa4rnf48Z4K7661VssrikatyCRqvKxRPTvhjNYamT56oWgSueSlsT6 ZYcz4FnWi36gwAg9r2d01MCJl6ti1VhuDiCG27Vj4LsFabvMsSALohbOx70cpezg2c4S iGIQ== Received: by 10.180.85.194 with SMTP id j2mr12215627wiz.12.1355160905218; Mon, 10 Dec 2012 09:35:05 -0800 (PST) Received: from laptop-27-254.macs.hw.ac.uk (laptop-27-254.macs.hw.ac.uk. [137.195.27.254]) by mx.google.com with ESMTPS id u6sm12559386wif.2.2012.12.10.09.35.03 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 10 Dec 2012 09:35:04 -0800 (PST) From: Gudmund Grov Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Mon, 10 Dec 2012 17:35:02 +0000 Message-Id: To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) Subject: [Caml-list] SCP Special Issue on Invariant Generation - Second Call for Papers [2 months to go] (Apologies if you receive multiple copies of this announcement) ------------------------------------------------------------ Science of Computer Programming Special Issue on Invariant Generation -- SECOND CALL FOR PAPERS --=20 ------------------------------------------------------------ This special issue is devoted to the 4th international Workshop on Invariant Generation (WING 2012) http://cs.nyu.edu/acsys/wing2012/ which was held on June 30 2012 in Manchester as a satellite event of IJCAR 2012. The scope of the workshop is the automation of extracting and synthesising auxiliary properties of programs, in particular providing, debugging, and verifying auxiliary invariant annotations. This should be seen in a broad sense and relevant topics include (but are not limited to) the following: * Program analysis and verification * Inductive assertion generation * Inductive proofs for reasoning about loops * Applications to assertion generation using: - abstract interpretation, - static analysis, - model checking, - theorem proving, - theory formation, - algebraic techniques * Tools for inductive assertion generation and verification * Alternative techniques for reasoning about loops Submission to this special issue is completely open. We expect original articles (typically not more than 30 pages) that present high-quality contributions and must not be simultaneously submitted for publication elsewhere. Submission of extended versions of previously published papers is possible as long as the extension is significant, i.e., the submission can be considered a new paper, the previous paper is referenced, and the new material is clearly marked. Submissions must comply with SCP's author guidelines http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authori= nstructions and be written in English. Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp which you will have to register for if you do not have an account. When submitting your paper please choose the article type "Special issue: W= ING 2012". IMPORTANT DATES --------------- * Submission of papers: February 11, 2013. * Notification: April 26, 2013. GUEST EDITORS -------------- * Gudmund Grov (Heriot-Watt University, UK) * Thomas Wies (New York University, USA) CONTACT -------------- Please send any queries you may have to: wing2012@easychair.org