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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id B42EC7F869
	for <caml-list@sympa.inria.fr>; Fri, 28 Feb 2014 12:49:07 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  Dongming.Wang@lip6.fr) identity=pra; client-ip=132.227.60.30;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="Dongming.Wang@lip6.fr";
  x-sender="Dongming.Wang@lip6.fr";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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: AkoBAA53EFOE4zwemWdsb2JhbABag0FXjVC0XhYOAQEBAQEICwsHFCiCJwYBARo2YiUPiFoECctBjX11ghgPgXoEmDgBgTKPI4NFgT+BZw
X-IPAS-Result: AkoBAA53EFOE4zwemWdsb2JhbABag0FXjVC0XhYOAQEBAQEICwsHFCiCJwYBARo2YiUPiFoECctBjX11ghgPgXoEmDgBgTKPI4NFgT+BZw
X-IronPort-AV: E=Sophos;i="4.97,561,1389740400"; 
   d="scan'208";a="50853313"
Received: from osiris.lip6.fr ([132.227.60.30])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Feb 2014 12:49:07 +0100
Received: from tibre.lip6.fr (tibre.lip6.fr [132.227.74.2])
          by osiris.lip6.fr (8.14.7/lip6) with ESMTP id s1SBkxm7008829
          ; Fri, 28 Feb 2014 12:46:59 +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 s1SBjfxf020612;
	Fri, 28 Feb 2014 12:45:41 +0100 (MET)
Received: from 82.232.57.196 ([82.232.57.196]) by tibre.lip6.fr (Horde
 Framework) with HTTP; Fri, 28 Feb 2014 12:45:41 +0100
Message-ID: <20140228124541.14261dldn0w0kxlw@tibre.lip6.fr>
Date: Fri, 28 Feb 2014 12:45:41 +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 IP whitelisted, not delayed by milter-greylist-4.4.3 (osiris.lip6.fr [132.227.60.30]); Fri, 28 Feb 2014 12:47:01 +0100 (CET)
X-Scanned-By: MIMEDefang 2.74 on 132.227.60.30
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)