From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 737BE7F783 for ; Fri, 4 Nov 2016 00:27:17 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.mailfrom=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.helo=postmaster@lists.nasa.gov Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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" IronPort-PHdr: =?us-ascii?q?9a23=3AF6/WAhLcSm51uBcfsdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgVLfnxwZ3uMQTl6Ol3ixeRBMOAuqgC27qd6vmoGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daymUrPUlNm9guW7+pnPZFdGgX+0Z7V1MRO9oADcsNUNxJFvM7s80QfhpnpTZ/?= =?us-ascii?q?8Qw2pzLBScmAir/dq6/pNo73FNvek8/dVLS6TwcvcFS6dFBmEmL3wt/5+s8h3C?= =?us-ascii?q?VheUoH0VSWxQnR1WRA3M7RX/V5G2tTPmt+17w26UOIj/S7YzRDKp4qJmTgPz2x?= =?us-ascii?q?sAYnQ39STejMp3kaRQrResoQBk64rVe52Ocvx3ZaqbctQEDyIVUMMUXipHBZ66?= =?us-ascii?q?ZIYKAuwdJs5crpLhvB0IpAC3QwarGrW85CVPgyq8/aQk3uA8Fw2ClC8kFs8V+D?= =?us-ascii?q?SP8IXfde1aBcOxxbTTixXKcf5SxDHxwIrQdlYnqOqFG713b5yCmgEUCwrZgwDI?= =?us-ascii?q?+sTeNDSP27FVvg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CxAADsxhtYh+X5nIBeGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgkg9AQEBAQF3TgcnAQYBjS+rR4IKGwEKgkSBXINjPxQ?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQEKCwkJHSULQhCBYQQCAw8HghEFAQEBFQUpCAIYBg4DA?= =?us-ascii?q?QIGAgEBQAIECAMBJAkBJwQKCQURBgEEiDUFCa0rAo4vAQslMIYQhhABglwKBwG?= =?us-ascii?q?FfAWPDIsTAQGGM4VdhmiHK4YjkR8RD4RVgWxygSyEEwINFwcpWQGBCwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CxAADsxhtYh+X5nIBeGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgkg9AQEBAQF3TgcnAQYBjS+rR4IKGwEKgkSBXINjPxQBAQEBAQEBAQEBA?= =?us-ascii?q?RIBAQEKCwkJHSULQhCBYQQCAw8HghEFAQEBFQUpCAIYBg4DAQIGAgEBQAIECAM?= =?us-ascii?q?BJAkBJwQKCQURBgEEiDUFCa0rAo4vAQslMIYQhhABglwKBwGFfAWPDIsTAQGGM?= =?us-ascii?q?4VdhmiHK4YjkR8RD4RVgWxygSyEEwINFwcpWQGBCwEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,440,1473112800"; d="scan'208,217";a="243516745" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Nov 2016 00:27:15 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 29E14603027; Thu, 3 Nov 2016 19:26:04 -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 H7oVeBB7h7yx; Thu, 3 Nov 2016 19:26:04 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id C4065602F98; Thu, 3 Nov 2016 19:26:00 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id BC619602351 for ; Thu, 3 Nov 2016 19:25:57 -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 0itvxOSxxvqe for ; Thu, 3 Nov 2016 19:25:57 -0400 (EDT) Received: from mail.jpl.nasa.gov (smtp.jpl.nasa.gov [128.149.139.109]) by lists.nasa.gov (Postfix) with ESMTPS id 446726017BD for ; Thu, 3 Nov 2016 19:25:56 -0400 (EDT) Received: from mail.jpl.nasa.gov (ap-ehub-sp02.jpl.nasa.gov [128.149.137.149]) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id uA3NPtKP030536 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Thu, 3 Nov 2016 16:25:55 -0700 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.179]) by ap-ehub-sp02.RES.AD.JPL ([fe80::dd85:7b07:1e36:7e3c%15]) with mapi id 14.03.0279.002; Thu, 3 Nov 2016 16:25:55 -0700 From: "Havelund, Klaus (348B)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: SPIN 2017 - Call for papers Thread-Index: AQHSNimfodqJNtkfGUq0aH8rYarr+w== Date: Thu, 3 Nov 2016 23:25:54 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.6.9.160926 x-originating-ip: [128.149.137.82] MIME-Version: 1.0 X-Source-Sender: Klaus.Havelund@jpl.nasa.gov X-AUTH: Authorized 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: multipart/mixed; boundary="===============1519774432593730989==" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: klaus.havelund@jpl.nasa.gov Subject: [Caml-list] [fm-announcements] SPIN 2017 - Call for papers --===============1519774432593730989== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D441158F16121klaushavelundjplnasagov_" --_000_D441158F16121klaushavelundjplnasagov_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA ________________________________ The SPIN symposium aims at bringing together researchers and practitioners = interested in automated tool-based techniques for the analysis of software = as well as models of software, for the purpose of verification and validati= on. The symposium specifically focuses on concurrent software, but does not= exclude analysis of sequential software. Submissions are solicited on theo= retical results, novel algorithms, tool development, and empirical evaluati= on. History: The SPIN symposium originated as a workshop focusing on explicit s= tate model checking, specifically as related to the Spin model checker. How= ever, over the years it has evolved to a broadly scoped symposium for softw= are analysis using any automated techniques, including model checking, auto= mated theorem proving, symbolic execution, etc. SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the Inte= rnational Symposium on Software Testing and Analysis (ISSTA 2017): http://c= onf.researchr.org/home/issta-2017. An overview of the previous SPIN symposi= a (and early workshops) can be found at: http://spinroot.com/spin/symposia. Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of software * Formal analysis for modeling languages, such as UML/state charts * Formal specification languages, temporal logic, design-by-contract * Model checking * Automated theorem proving, including SAT and SMT * Verifying compilers * Abstraction and symbolic execution techniques * Static analysis and abstract interpretation * Combination of verification techniques * Modular and compositional verification techniques * Verification of timed and probabilistic systems * Automated testing using advanced analysis techniques * Combination of static and dynamic analyses * Derivation of specifications, test cases, or other useful material vi= a formal analysis * Case studies of interesting systems or with interesting results * Engineering and implementation of software verification and analysis = tools * Benchmark and comparative studies for formal verification and analysi= s tools * Formal methods education and training * Insightful surveys or historical accounts on topics of relevance to t= he symposium ________________________________ Submission Guidelines ________________________________ The contributions to SPIN 2017 will be published as ACM Proceedings, and sh= ould be submitted in the ACM Conference Format: https://www.acm.org/publica= tions/proceedings-template. With the exception of survey and history papers, submissions must be origin= al and should not have been published previously or be under consideration = for publication while being evaluated for this symposium. We are soliciting two categories of papers: * Full Research Papers describing fully developed work and complete res= ults (10 pages); * Short Papers presenting tools, technology, experiences with lessons l= earned, new ideas, work in progress with preliminary results, and novel con= tributions to formal methods education (4 pages). Papers should be submitted via the EasyChair SPIN 2017 submission website: = https://easychair.org/conferences/?conf=3Dspin2017. Best Paper awards will be given and announced at the conference. A selection of papers will be invited to a special issue of the Internation= al Journal on Software Tools for Technology Transfer (STTT). ________________________________ Important Dates ________________________________ * Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth) * Author Notification : April 15, 2017 * Camera-Ready Paper: May 20, 2017 * Symposium : July 13-14, 2017 ________________________________ Program Chairs ________________________________ * Hakan Erdogmus, Carnegie Mellon University, USA * Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA ________________________________ Awards Chair ________________________________ * Corina Pasareanu, NASA Ames Research Center, USA ________________________________ Program Committee ________________________________ * Erika Abraham, RWTH Aachen University, Germany * Christel Baier, Technical University of Dresden, Germany * Tom Ball, Microsoft Research, USA * Ezio Bartocci, Vienna University of Technology, Austria * Dirk Beyer, Ludwig-Maximilians-Universit=E4t M=FCnchen (LMU Munich), = Germany * Armin Biere, Johannes Kepler University, Austria * Dragan Bosnacki, Eindhoven University of Technology, Netherlands * Zmago Brezocnik, University of Maribor, Slovenia * Sagar Chaki, Software Engineering Institute CMU, USA * Alessandro Cimatti, Fondazione Bruno Kessler, Italy * Lucas Cordeiro, University of Oxford, UK * Patrice Godefroid, Microsoft Research, USA * Susanne Graf, VERIMAG Laboratory, France * Radu Grosu, Vienna University of Technology, Austria * Arie Gurfinkel, University of Waterloo, USA * Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA * Sarfraz Khurshid, The University of Texas at Austin, USA * Kim Larsen, Aalborg University, Denmark * Stefan Leue, University of Konstanz, Germany * Alice Miller, University of Glasgow, Scotland * Corina Pasareanu, NASA Ames Research Center, USA * Doron Peled, Bar Ilan University, Israel * Neha Rungta, NASA Ames Research Center, USA * Theo Ruys, RUwise, Netherlands * Scott Smolka, Stony Brook University, USA * Scott Stoller, Stony Brook University, United States * Jun Sun, Singapore University of Technology and Design, Singapore * Oksana Tkachuk, NASA Ames Research Center, USA * Stavros Tripakis, University of California, Berkeley, USA * Willem Visser, Stellenbosch University, South Africa * Farn Wang, National Taiwan University, Taiwan * Michael Whalen, University of Minnesota, USA * Anton Wijs, Eindhoven University of Technology, Netherlands --_000_D441158F16121klaushavelundjplnasagov_ Content-Type: text/html; charset="iso-8859-1" Content-ID: Content-Transfer-Encoding: quoted-printable

SPIN 2017

24th International Symposium on Model Checking of Software

Santa Barbara, C= A, USA, July 13-14, 2017

http://conf.researchr.org/hom= e/spin-2017

Collocated with = ISSTA 

The SPIN symposium aims at bringing together researchers and practitioners = interested in automated tool-based techniques for the analysis of software = as well as models of software, for the purpose of verification and validati= on. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential softwa= re. Submissions are solicited on theoretical results, novel algorithms, too= l development, and empirical evaluation.

History: The SPIN symposium originated as a workshop focusing on explicit s= tate model checking, specifically as related to the Spin model checker. How= ever, over the years it has evolved to a broadly scoped symposium for softw= are analysis using any automated techniques, including model checking, automated theorem proving, symbolic = execution, etc.

SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the Inte= rnational Symposium on Software Testing and Analysis (ISSTA 2017): http://conf.rese= archr.org/home/issta-2017. An overview of the previous SPIN symposia (and early workshops) can be fou= nd at: http://sp= inroot.com/spin/symposia.

Topics of interest include, but are not limited to:

  • Formal verification techniques for au= tomated analysis of software
  • Form= al analysis for modeling languages, such as UML/state charts
  • Formal specification languages, temporal logic= , design-by-contract
  • Model checki= ng
  • Automated theorem proving, inc= luding SAT and SMT
  • Verifying comp= ilers
  • Abstraction and symbolic ex= ecution techniques
  • Static analysi= s and abstract interpretation
  • Com= bination of verification techniques
  • Modular and compositional verification techniques
  • Verification of timed and probabilistic systems
    • Automated testing using advanced analysi= s techniques
  • Combination of stati= c and dynamic analyses
  • Derivation= of specifications, test cases, or other useful material via formal analysi= s
  • Case studies of interesting sys= tems or with interesting results
  • = Engineering and implementation of software verification and analysis tools<= /li>
  • Benchmark and comparative studies= for formal verification and analysis tools
  • Formal methods education and training
  • Insightful surveys or historical accounts on topics of rele= vance to the symposium
Submission Guidelines

The contributions to SPIN 2017 will be published as ACM Proceedings, and sh= ould be submitted in the ACM Conference Format: https://www.acm.org/pub= lications/proceedings-template.

With the exception of survey and history papers, submissions must be origin= al and should not have been published previously or be under consideration = for publication while being evaluated for this symposium. 

We are soliciting two categories of papers:

  • Full Research Papers describing fully developed work and= complete results (10 pages);
  • Short Papers presentin= g tools, technology, experiences with lessons learned, new ideas, work in p= rogress with preliminary results, and novel contributions to formal methods education (4 pages).

Papers should be submitted via the EasyChair SPIN 2017 submission website:&= nbsp;https://easychair.org/conferences/?conf=3Dspin2017.

Best Paper awards w= ill be given and announced at the conference. 

A selection of papers will be invited to a special issue of the International Journal on Software Tools for= Technology Transfer (STTT).

Important Dates
  • Paper Submission: February 10, 2017 (= 23:59:59 Anywhere on Earth)
  • Autho= r Notification : April 15, 2017
  • C= amera-Ready Paper: May 20, 2017
  • S= ymposium : July 13-14, 2017
Program Chairs
  • Hakan Erdogmus, Carnegie Mellon Unive= rsity, USA
  • Klaus Havelund, NASA/C= altech Jet Propulsion Laboratory, USA
Awards Chair
  • Corina Pasareanu, NASA Ames Research = Center, USA
Program Committee
  • Erika Abraham, RWTH Aachen University= , Germany
  • Christel Baier, Technic= al University of Dresden, Germany
  • Tom Ball, Microsoft Research, USA
  • Dirk Beyer, Ludwig-Maximilians-Universit=E4t M=FCn= chen (LMU Munich), Germany
  • Armin = Biere, Johannes Kepler University, Austria
  • Dragan Bosnacki, Eindhoven University of Technology, Netherlands<= /li>
  • Zmago Brezocnik, University of Ma= ribor, Slovenia
  • Sagar Chaki, Soft= ware Engineering Institute CMU, USA
  • Alessandro Cimatti, Fondazione Bruno Kessler, Italy
  • Lucas Cordeiro, University of Oxford, UK
  • Patrice Godefroid, Microsoft Research, USA
  • Susanne Graf, VERIMAG Laboratory, F= rance
  • Radu Grosu, Vienna Universi= ty of Technology, Austria
  • Arie Gu= rfinkel, University of Waterloo, USA
  • Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA
  • Sarfraz Khurshid, The University of Texas a= t Austin, USA
  • Kim Larsen, Aalborg= University, Denmark
  • Stefan Leue,= University of Konstanz, Germany
  • = Alice Miller, University of Glasgow, Scotland
  • Corina Pasareanu, NASA Ames Research Center, USA
  • Doron Peled, Bar Ilan University, Israel
    • <= li style=3D"box-sizing: border-box;">Neha Rungta, NASA Ames Research Center= , USA
  • Theo Ruys, RUwise, Netherla= nds
  • Scott Smolka, Stony Brook Uni= versity, USA
  • Scott Stoller, Stony= Brook University, United States
  • = Jun Sun, Singapore University of Technology and Design, Singapore
  • Oksana Tkachuk, NASA Ames Research Center,= USA
  • Stavros Tripakis, University= of California, Berkeley, USA
  • Wil= lem Visser, Stellenbosch University, South Africa
  • Farn Wang, National Taiwan University, Taiwan
  • Michael Whalen, University of Minnesota, USA<= /li>
  • Anton Wijs, Eindhoven University = of Technology, Netherlands
--_000_D441158F16121klaushavelundjplnasagov_-- --===============1519774432593730989== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --- 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 --===============1519774432593730989==--