From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7CDA07F89F for ; Fri, 4 Apr 2014 23:20:13 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BAF0hP1OAnPnlnGdsb2JhbABZg0FXvFeIWxYOAQEBAQEICwkJFCiCIQYFAQEBNwwIAhgGDgMBAgYCAQE+BAEDCAMBJAkBJwQTBRgEhSiCDyENygwBhg0Xjg8OAwGDe4EUBJYEgleBNJJ8gT+Bcjk X-IPAS-Result: Ap4BAF0hP1OAnPnlnGdsb2JhbABZg0FXvFeIWxYOAQEBAQEICwkJFCiCIQYFAQEBNwwIAhgGDgMBAgYCAQE+BAEDCAMBJAkBJwQTBRgEhSiCDyENygwBhg0Xjg8OAwGDe4EUBJYEgleBNJJ8gT+Bcjk X-IronPort-AV: E=Sophos;i="4.97,797,1389740400"; d="scan'208";a="55622041" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Apr 2014 23:20:11 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id D7A97602E9F; Fri, 4 Apr 2014 17:19:03 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id A-JF9cmozHRy; Fri, 4 Apr 2014 17:19:03 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 3998E602E6B; Fri, 4 Apr 2014 17:19:01 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id E10E6602E41 for ; Fri, 4 Apr 2014 17:18:58 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 4MY-Q3KeAbvX for ; Fri, 4 Apr 2014 17:18:58 -0400 (EDT) Received: from ndmsnpf03.ndc.nasa.gov (ndmsnpf03.ndc.nasa.gov [198.117.0.123]) by lists.nasa.gov (Postfix) with ESMTP id B3A30602E1F for ; Fri, 4 Apr 2014 17:18:58 -0400 (EDT) Received: from ndjsppt103.ndc.nasa.gov (ndjsppt103.ndc.nasa.gov [198.117.1.197]) by ndmsnpf03.ndc.nasa.gov (Postfix) with ESMTP id 78AA62D800E for ; Fri, 4 Apr 2014 16:18:58 -0500 (CDT) Received: from NDJSCHT101.ndc.nasa.gov (ndjscht101-pub.ndc.nasa.gov [198.117.1.201]) by ndjsppt103.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id s34LIwaa004128 for ; Fri, 4 Apr 2014 16:18:58 -0500 Received: from NDJSMBX201.ndc.nasa.gov ([169.254.4.176]) by NDJSCHT101.ndc.nasa.gov ([198.117.1.201]) with mapi id 14.03.0174.001; Fri, 4 Apr 2014 16:18:58 -0500 From: "Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]" To: "fm-announcements@lists.nasa.gov" Thread-Topic: 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended deadline: April 19th) Thread-Index: AQHPUEt9St9MuPHe00G5GX7X1SU09A== Date: Fri, 4 Apr 2014 21:18:57 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [98.248.78.47] Content-ID: <1BFF1EBAE6571C419E8B69FC107EE9B9@mail.nasa.gov> MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.11.87, 1.0.14, 0.0.0000 definitions=2014-04-04_07:2014-04-04,2014-04-04,1970-01-01 signatures=0 X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: neha.s.rungta@nasa.gov Subject: [Caml-list] [fm-announcements] 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended deadline: April 19th) Apologies for multiple postings ====================================================================== 21st International Symposium on Model Checking of Software - SPIN 2014 San Jose, CA, USA, July 21-23, 2014 http://spin2014.org/ Joint Sessions with ISSTA on July 23rd ====================================================================== The SPIN Symposium is a leading forum for practitioners and researchers interested in software verification and engineering. There are two tracks for paper submissions. *** Software Verification Track *** We solicit submissions on theoretical techniques, novel algorithms and empirical evaluation for state-space exploration based techniques. We welcome submissions describing the development and application of state space exploration techniques in testing and verifying embedded software, mobile platforms, security-critical software, enterprise and web applications, and other interesting software platforms. *** New this year: Software Engineering Track *** New this year we solicit submissions on techniques and approaches that extend or leverage existing state-space exploration based techniques such as model checking and symbolic execution to assist in automating software engineering tasks such as design, implementation, analysis, testing, and maintenance of software systems. ====================================================================== Submission Guidelines ====================================================================== SPIN 2014 invites high quality contributions describing significant, original, and unpublished results for submission in two categories: (a) Research papers describing fully developed work and complete results (10 pages) (b) Short papers describing tools, experience reports, descriptions of new ideas, or work in progress with preliminary results (4 pages) https://www.easychair.org/conferences/?conf=spin20140 ====================================================================== Important Dates ====================================================================== Paper Submission: April 19, 2014 (firm) Author Notification: May 23, 2014 Camera-Ready Paper: June 16, 2014 ====================================================================== Invited Speakers ====================================================================== Karen Gundy-Burlet, NASA Ames Research Center, USA Henny Sipma, Kestrel Technology, USA Cormac Flanagan, UC Santa Cruz, USA (Joint speaker with ISSTA) ====================================================================== Program Chairs ====================================================================== Neha Rungta, NASA Ames Research Center, USA Oksana Tkachuk, NASA Ames Research Center, USA ====================================================================== Program Committee ====================================================================== Ezio Bartocci,TU Wien, Vienna University of Technology, Austria Dirk Beyer, University of Passau, Germany Alastair Donaldson, Imperial College London, UK Alex Groce, Oregon State University, USA Arie Gurfinkel, Software Engineering Institute, CMU, USA Gerard Holzmann, NASA/JPL, USA Franjo Ivancic, NEC Laboratories America, Inc., USA Sarfraz Khurshid, The University of Texas at Austin, USA Shuvendu Lahiri, Microsoft Research, USA Stefan Leue, University of Konstanz, Germany Eric Mercer, Brigham Young University, USA David Parker, University of Birmingham, UK Suzette Person, NASA Langley Research Center, USA Zvonimir Rakamaric, University of Utah, USA C. R. Ramakrishna, Stony Brook University, USA Robby, Kansas State University, USA Scott Stoller, Stony Brook University, USA Murali Talupur, Intel, USA Suresh Thummalapenta, IBM Research, India Jaco Van De Pol, University of Twente, Netherlands Willem Visser, Stellenbosch University, South Africa Michael Whalen, University of Minnesota, USA --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov