From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Dongming.Wang@lip6.fr>
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 3D4AD7EE6B
	for <caml-list@sympa.inria.fr>; Mon, 25 Nov 2013 23:12:06 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Dongming.Wang@lip6.fr) identity=pra; client-ip=132.227.60.30;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Dongming.Wang@lip6.fr";
  x-sender="Dongming.Wang@lip6.fr";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  Dongming.Wang@lip6.fr designates 132.227.60.30 as permitted
  sender) identity=mailfrom; client-ip=132.227.60.30;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Dongming.Wang@lip6.fr";
  x-sender="Dongming.Wang@lip6.fr";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  postmaster@osiris.lip6.fr designates 132.227.60.30 as
  permitted sender) identity=helo; client-ip=132.227.60.30;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Dongming.Wang@lip6.fr";
  x-sender="postmaster@osiris.lip6.fr";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: An0CAMjKk1KE4zwemWdsb2JhbABZgmZZU40JsE0WDgEBAQEBCAsLBxQogicGAQEaNmIlD4hiAQMJvmKOL3WEHQOYEwGBMI8OgxAugT+BZw
X-IPAS-Result: An0CAMjKk1KE4zwemWdsb2JhbABZgmZZU40JsE0WDgEBAQEBCAsLBxQogicGAQEaNmIlD4hiAQMJvmKOL3WEHQOYEwGBMI8OgxAugT+BZw
X-IronPort-AV: E=Sophos;i="4.93,770,1378850400"; 
   d="scan'208";a="45336781"
Received: from osiris.lip6.fr ([132.227.60.30])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Nov 2013 23:12:03 +0100
Received: from tibre.lip6.fr (tibre.ipv6.lip6.fr [IPv6:2001:660:3302:282a:204:e2ff:fe09:d49f])
          by osiris.lip6.fr (8.14.7/lip6) with ESMTP id rAPM9loO028633
          ; Mon, 25 Nov 2013 23:09:47 +0100 (CET)
X-pt: osiris.lip6.fr
Received: from localhost (localhost [127.0.0.1])
	by tibre.lip6.fr (8.14.7/8.13.3) with ESMTP id rAPM9eXt023759;
	Mon, 25 Nov 2013 23:09:40 +0100 (MET)
Received: from 82.232.57.196 ([82.232.57.196]) by tibre.lip6.fr (Horde
 Framework) with HTTP; Mon, 25 Nov 2013 23:09:40 +0100
Message-ID: <20131125230940.14362jcjy2sgj0rk@tibre.lip6.fr>
Date: Mon, 25 Nov 2013 23:09:40 +0100
From: Dongming Wang <Dongming.Wang@lip6.fr>
To: sigsam-members@listserv.acm.org
MIME-Version: 1.0
Content-Type: text/plain;
 charset=ISO-8859-1;
 DelSp="Yes";
 format="flowed"
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
User-Agent: Internet Messaging Program (IMP) H3 (4.3.11)
X-Greylist: Sender DNS name whitelisted, not delayed by milter-greylist-4.4.3 (osiris.lip6.fr [IPv6:2001:660:3302:283c::1e]); Mon, 25 Nov 2013 23:09:49 +0100 (CET)
X-Scanned-By: MIMEDefang 2.74
X-Validation-by: dongming.wang@lip6.fr
Subject: [Caml-list] JSC special issue on Program Verification, Automated
 Debugging and Symbolic Computation

        Special Issue of Journal of Symbolic Computation on
Program Verification, Automated Debugging and Symbolic Computation
               http://pas2013.cc4cm.org/jsc-pas.html

                        CALL FOR PAPERS

Important dates

  - Submission of papers: March 31, 2014
  - Notification of acceptance: August 31, 2014
  - Publication of the special issue: Spring 2015

Specific topics (include, but are not limited to)

  - Theories and methodologies for program verification and testing
  - Model checking, fault locating and program repairing
  - Symbolic computation and automated reasoning for program verification
  - Termination, correctness and complexity analysis of programs
  - Automated program synthesis and transformation
  - Logic and semantics for automated and algorithmic debugging
  - Program debugging paradigms and techniques
  - Symbolic constraint solving for verification and debugging
  - Tools, prototypes, empirical and case studies

Guest editors

  - Tudor Jebelean (RISC, Johannes Kepler University, Austria)
  - Wei Li (SKLSDE, Beihang University, China)
  - Dongming Wang (LIP6, CNRS-UPMC-INRIA, France)