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 E75657F720 for ; Wed, 16 Apr 2014 17:42:08 +0200 (CEST) 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: AjMDAKyjTlOE4zwenGdsb2JhbABYg0FLAQEKwzWBIRYOAQEBAQEICwkJFCiCJgEFUxURECwaCw9IBhyHcgENyFcXjXUVWAeEOASYZQGBN486g0qBQYFn X-IPAS-Result: AjMDAKyjTlOE4zwenGdsb2JhbABYg0FLAQEKwzWBIRYOAQEBAQEICwkJFCiCJgEFUxURECwaCw9IBhyHcgENyFcXjXUVWAeEOASYZQGBN486g0qBQYFn X-IronPort-AV: E=Sophos;i="4.97,872,1389740400"; d="scan'208";a="68562048" Received: from osiris.lip6.fr ([132.227.60.30]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Apr 2014 17:42:08 +0200 Received: from tibre.lip6.fr (tibre.lip6.fr [132.227.74.2]) by osiris.lip6.fr (8.14.7/lip6) with ESMTP id s3GFdwno015133 ; Wed, 16 Apr 2014 17:39:58 +0200 (CEST) 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 s3GFcXGK010100; Wed, 16 Apr 2014 17:38:33 +0200 (MEST) Received: from 223.72.182.130 ([223.72.182.130]) by tibre.lip6.fr (Horde Framework) with HTTP; Wed, 16 Apr 2014 17:38:33 +0200 Message-ID: <20140416173833.955717ibdqsdcf0g@tibre.lip6.fr> Date: Wed, 16 Apr 2014 17:38:33 +0200 From: Dongming Wang To: Dongming Wang Cc: sigsam-members@listserv.acm.org References: <20140228124541.14261dldn0w0kxlw@tibre.lip6.fr> In-Reply-To: <20140228124541.14261dldn0w0kxlw@tibre.lip6.fr> 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]); Wed, 16 Apr 2014 17:39:59 +0200 (CEST) X-Scanned-By: MIMEDefang 2.74 on 132.227.60.30 X-Validation-by: dongming.wang@lip6.fr Subject: [Caml-list] PAS 2014 - Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation PAS 2014 - Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation Vienna, Austria, July 17-18, 2014 http://pas2014.cc4cm.org/ Important Dates - Submission of papers/extended abstracts: April 30, 2014 - Notification of acceptance or rejection: May 10, 2014 - Final version due: May 20, 2014 - Seminar taking place: July 17-18, 2014 Overview PAS 2014 will provide a forum for researchers and software developers actively involved or interested in developing, using, and applying methods and software tools of symbolic computation for program verification and automated debugging to exchange ideas and views, to review the state of the art and discuss prospects, to present research results and experiments, and to build up contacts for future cooperation. The scientific program of the seminar will feature invited talks and contributed presentations. Specific topics for PAS 2014 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 The previous two seminars PAS 2012 and PAS 2013 were held in Beijing, China. PAS 2014 is part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic. Invited Speakers - Bruno Buchberger (Johannes Kepler University, Austria) - Hoon Hong (North Carolina State University, USA) - Michael Rusinowitch (LORIA-INRIA-Lorraine, France) - Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany) Submission Potential participants of PAS 2014 are invited to submit extended abstracts (2-4 pages) or full papers describing their work to be presented at the seminar. The submitted extended abstracts and full papers will be reviewed by the organizers for soundness and relevance to the seminar. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the seminar. Electronic submissions are strongly preferred using EasyChair: http://www.easychair.org/conferences/?conf=pas2014 Accepted extended abstracts and full papers will be distributed at the seminar. Authors of the extended abstracts and full papers accepted for presentation at the seminar may be invited to submit their full and/or revised papers for publication in a post-proceedings volume or a journal special issue after the meeting. The submitted papers will be formally reviewed by external referees according to the standard refereeing procedure. Organizers - Tudor Jebelean (RISC, Johannes Kepler University, Austria) - Wei Li (SKLSDE, Beihang University, China) - Dongming Wang (SKLSDE, Beihang University, China and CNRS, France)