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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 579B37F1DE for ; Fri, 11 Jan 2013 10:09:17 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gudmundgrov@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gudmundgrov@gmail.com"; x-sender="gudmundgrov@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.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=mail1-smtp-roc.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 (mail1-smtp-roc.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=mail1-smtp-roc.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: AtgCAODV71BKfVI2jWdsb2JhbABDAYNHujMWDgEBAQEJCQsJEgYjgkIdBgEbBBoDEhAiBAI2EQEFATWIBgEDDwyWXIJtjDOCe4RoChknDVmFfQEFDIxQFXkMEQGCNmEDlgqOaD+EF4Fm X-IronPort-AV: E=Sophos;i="4.84,451,1355094000"; d="scan'208";a="189426654" Received: from mail-wg0-f54.google.com ([74.125.82.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Jan 2013 10:09:16 +0100 Received: by mail-wg0-f54.google.com with SMTP id fg15so730024wgb.9 for ; Fri, 11 Jan 2013 01:09:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:from:content-type:content-transfer-encoding:subject:date :message-id:to:mime-version:x-mailer; bh=3Px5EsztRcR0wbKtnKHhb/ZVRWqBq9h+WMZ/rH/DMKU=; b=lWYprZuVMjUlwzfvm7Xp18wAqYrHn+/KPpmu5Skk6S45N+ENSi8gqzP6oP+/9lRXZ1 CCXJuC6Er87UeBSZiS5NtnfYkSQ28zkT1CLlet/6a+ZyLl2D414oFpT6QM90sbb8Xfg0 e60o+gccKucivsbyoGxXyBNewWMMd/vkTFCYsSUquXD0jLTEAyrvPX9CEoq043TA6ypt buI/qrfC4ydPqPI2h77rKyJJRXuf+D+xvqvYQYMED786x4V3EBZ8qpkTi1mUjBeSyymZ EYItHR3xq+2W0jgfDPkutH4yXyW7nLn3RHzLZibNL8WfowZuoE4txR/P3KM07bBq9Lxy Iqog== X-Received: by 10.194.235.100 with SMTP id ul4mr119949702wjc.7.1357895356440; Fri, 11 Jan 2013 01:09:16 -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 hu8sm11923241wib.6.2013.01.11.01.09.15 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 11 Jan 2013 01:09:15 -0800 (PST) From: Gudmund Grov Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Fri, 11 Jan 2013 09:09:15 +0000 Message-Id: <152DAF6A-7D58-4639-A36F-745302FD2B67@gmail.com> 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 - Final Call for Papers [1 month to go] (Apologies if you receive multiple copies of this announcement) ------------------------------------------------------------ Science of Computer Programming Special Issue on Invariant Generation -- FINAL CALL FOR PAPERS [1 month to go] --=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