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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2DD2D80028 for ; Fri, 27 Jan 2017 14:10:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 (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" IronPort-PHdr: =?us-ascii?q?9a23=3AGdZDfhCBdlB6eVDk8Ol4UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP3/p8+wAkXT6L1XgUPTWs2DsrQf2raQ7v+rBTFIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+2oAjTucUbjotvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1hi?= =?us-ascii?q?gHLTo5+3zJhMJ2gqxQvRatqwV+zoLRZoyeKfhwcb7Hfd4CRWRPQNpRWSJCDIyy?= =?us-ascii?q?bosAAPcPPf5aoof/ulcDoweyChWyC+P00TJIg2P60Lcg3ug9CwzKwQotFM8Ovn?= =?us-ascii?q?TOq9X1Mb8fXe63wqbS0zXMcfdW2Sr76IfVahwqvPSCXbZqfsrM0kkkCgfJg1uf?= =?us-ascii?q?pIHmIj6Z0+oBuHWc4uRlUeKgkXMnqxprrjat3MgslJfGhoYIylDC6Cp024Q1Jc?= =?us-ascii?q?W8SEJhZ96rCoBQuDuAO4t5RcMiXXhltSAnwbMIvp67eTIFyJUhxxPHcfOIb42I?= =?us-ascii?q?7gjkVOaLLjd0nGlleKq+hxa060igzer8VtWu3FlWqSpFl8HAtmoT2BzI9MeIUO?= =?us-ascii?q?F98Vuh2TaVzQzT7ftEIU8smaXFMZEh2b4xmYYTsUvZHy/2gl/6jKiMdkUr4uSo?= =?us-ascii?q?8froYq/9ppOFK4B0ihvxMqAqmsOhB+Q4PRYBU3Kc+eSm273u+1DyTrZSjvAuj6?= =?us-ascii?q?XVrpPXKd4GqqO5AgJZyJgv5hm7Aju8ztgUg30KIEpYdB6ZjIXlIUzCLf/8APul?= =?us-ascii?q?nlihnjVmy+rFM7H/GpnBM3nOnbP7cbpj60NRxxA/wNNF659XCLwMJu/4VFXru9?= =?us-ascii?q?zCFBA5NhS5w+b5B9V50YMTQWaPAq6CMKPOql+E/OQvLPOXZIAPojr9JP8l5+D2?= =?us-ascii?q?gX84n18SY7Wp0IMKZHymHflqOViVbHrtj9sbD2sHsQ4zQPb0hFGcVTNff3OyUL?= =?us-ascii?q?g95jE/BoKmF4DDRoW1jbyP2Se3B4dZZmZAClCLDHfocZmLVOkJaC2MJM9hjicE?= =?us-ascii?q?WaG6RI8myBGushP1xKR8LufP/i0YtInj1MRu5+HJkxE97yd0AN6H32GCSGF0gH?= =?us-ascii?q?sERyUq06BnvUx91lCD3LBkjPNCENxT4+pFUgM7NZ7H0+x3EMvyWwLEfteRUlmq?= =?us-ascii?q?WNSmATcrTtIw2dACeUh9G8+6hBDZwyWqG6MVl6CMBJEs/KLTxXfxKNhmy3vd1a?= =?us-ascii?q?ghjlwmTdBVNWK8nKJ/9g7TB5TIk0qDjaqqe74c1jbX9Gif1WqOoF1YUAloXKXL?= =?us-ascii?q?RXAfYVfWrcj45kzcVb+jErUmMgpEycGZMKtFcMfljVRARPf5OdTReXi9m2mqBR?= =?us-ascii?q?yQ3LODcJLqe3kB3CXaEEUEkx0T8miaNQUlByahomfeAyd0FV31eU/s8O9+qGm6?= =?us-ascii?q?TkAu1Q2KYVdhhPKI/AUIj6mcV+8LxeBD/yMgsClvWlC0xNuQBN2e4A9ofaFZaN?= =?us-ascii?q?V6509b1GXfrEtzO9mpKaZlm1gVfgF6uV/1hChxEZhKxM0jrXc2y1h8LOeR1lVG?= =?us-ascii?q?ajWT0JX9PKHMb3P/5Q2icLL+3lDFzM3Q/K4U4bI3rEu0pxyjFEcp7yB61cJI2W?= =?us-ascii?q?CX/JTAAVkuVse7XENy/h58oKzcaSQ46oXIzlVoMLKoqXnE0skgQuQi1FzoK9la?= =?us-ascii?q?daqCEgjvFcYXAsWoNPcCn1mycglCOulJ/eg7ON3wJNWc36v+dsZpgj+ikGJLpM?= =?us-ascii?q?he1kuR7GI8EbKY9ddPi6W72gKaTHHchUmstt3xlahGfTVUGGOkwG7rA5AHNf46?= =?us-ascii?q?RpoCFWr7e57//d55nZO4HiBV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+AQCVRYtYh+X5nIBdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgkQ5DQEBAQEBcBBVBy0HjkmoSx0BCoJCgVyDd0IVAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCgsJCh0kC4IzBAIDEgWCHgEBGikIAhgGDgMBAgYCAQFAAgQIAwEkC?= =?us-ascii?q?QEnBAoJBREGAQSJQAUJq10Cg0+KbAELJjKGGoYqAYFPgQ8KBwGGAQWPb4thAQG?= =?us-ascii?q?GZoYDh1uHWoZOknwRJmkvHgk0SoF/gkqBcHWGQwINFwcpWgGBDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C+AQCVRYtYh+X5nIBdHAEBBAEBCgEBFwEBBAEBCgEBgkQ?= =?us-ascii?q?5DQEBAQEBcBBVBy0HjkmoSx0BCoJCgVyDd0IVAQEBAQEBAQEBAQESAQEBCgsJC?= =?us-ascii?q?h0kC4IzBAIDEgWCHgEBGikIAhgGDgMBAgYCAQFAAgQIAwEkCQEnBAoJBREGAQS?= =?us-ascii?q?JQAUJq10Cg0+KbAELJjKGGoYqAYFPgQ8KBwGGAQWPb4thAQGGZoYDh1uHWoZOk?= =?us-ascii?q?nwRJmkvHgk0SoF/gkqBcHWGQwINFwcpWgGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,295,1477954800"; d="scan'208,217";a="211149719" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Jan 2017 14:10:37 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id AA9BB601CC4; Fri, 27 Jan 2017 08:08:50 -0500 (EST) 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 lfmfebzrBJBz; Fri, 27 Jan 2017 08:08:50 -0500 (EST) Received: from LISTS.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 5B58A6019BE; Fri, 27 Jan 2017 08:08:47 -0500 (EST) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id D2A83600F95 for ; Fri, 27 Jan 2017 08:08:43 -0500 (EST) 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 SqNBYZUT6jDO for ; Fri, 27 Jan 2017 08:08:43 -0500 (EST) Received: from mail.jpl.nasa.gov (smtp.jpl.nasa.gov [128.149.139.109]) by lists.nasa.gov (Postfix) with ESMTPS id 45EEC6007A7 for ; Fri, 27 Jan 2017 08:08:42 -0500 (EST) 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 v0RD8fjn015358 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Fri, 27 Jan 2017 05:08:41 -0800 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.87]) by ap-ehub-sp02.RES.AD.JPL ([fe80::dd85:7b07:1e36:7e3c%15]) with mapi id 14.03.0319.002; Fri, 27 Jan 2017 05:08:41 -0800 From: "Havelund, Klaus (348B)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: SPIN 2017 - final call for papers, deadline Feb 10 Thread-Index: AQHSeJ56h5gLFZJKEkePKncQZu+NFA== Date: Fri, 27 Jan 2017 13:08:40 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.7.0.161029 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="===============2936895649724994121==" 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 - final call for papers, deadline Feb 10 --===============2936895649724994121== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D4B08653178E5klaushavelundjplnasagov_" --_000_D4B08653178E5klaushavelundjplnasagov_ 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, empirical evaluation, = and education. 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, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be foun= d at: http://spinroot.com/spin/symposia. SPIN 2017 will be organized as an ACM SIGSOFT event, collocated with the In= ternational Symposium on Software Testing and Analysis (ISSTA 2017): http:/= /conf.researchr.org/home/issta-2017. The RERS Verification Challenge In addition there will be a one-day Rigorous Examination of Reactive System= s verification challenge Workshop (RERS 2017): http://www.rers-challenge.or= g/2017. ________________________________ SPIN 2017 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 ________________________________ Keynote Speakers ________________________________ * Domagoj Babic, Google, Inc. * Byron Cook, Amazon Web Services * Gerard Holzmann, Nimble Research ________________________________ 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. Submissions must be original and should not have been published previously = or be under consideration for publication while being evaluated for this sy= mposium. Authors are required to adhere to the ACM Policy and Procedures on= Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submis= sions. 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 ________________________________ Organization ________________________________ * Hakan Erdogmus, Program Co-Chair, Carnegie Mellon University, USA * Klaus Havelund, Program Co-Chair, NASA/Caltech Jet Propulsion Laborat= ory, USA * Corina Pasareanu, Awards Chair, NASA Ames Research Center, USA * Yli=E8s Falcone, Publicity Chair, Univ. Grenoble Alpes, Inria, France ________________________________ 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 * Rajeev Joshi, 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, Amazon Web Services, 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_D4B08653178E5klaushavelundjplnasagov_ Content-Type: text/html; charset="iso-8859-1" Content-ID: <7806F9753BACCC4D89DD376B92B15230@ad.jpl> 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, empirical evaluation, and education.

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, and symbo= lic execution.

An overview of the previous SPIN symposia (and early workshops) can be foun= d at: http://spi= nroot.com/spin/symposia.

SPIN 2017 will be organized as an ACM SIGSOFT event, collocated with the In= ternational Symposium on Software Testing and Analysis (ISSTA 2017): <= a href=3D"http://conf.researchr.org/home/issta-2017" style=3D"box-sizing: b= order-box; color: rgb(51, 122, 183); text-decoration: none;">http://conf.re= searchr.org/home/issta-2017. 


The RERS Verification Challenge

In addition there will be a one-day Rigorous Examination of Reactive System= s verification challenge Workshop (RERS 2017): http://www.rers-challenge.org/2017.


SPIN 2017 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
Keynote Speakers
  • Domagoj Babic, Google, Inc.
  • Byron Cook, Amazon Web Services=
  • Gerard Holzmann, Nimble Research
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.

Submissions must be original and should not have been published previously = or be under consideration for publication while being evaluated for this sy= mposium. Authors are required to adhere to the ACM Policy and Procedures on= Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.

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
  • Ca= mera-Ready Paper: May 20, 2017
  • Sy= mposium: July 13-14, 2017
Organization
  • Hakan Erdogmus, Program Co-Chair, Carnegie Mellon Univer= sity, USA
  • Klaus Havelund, Program Co-Chair, NASA/Cal= tech Jet Propulsion Laboratory, USA
  • Corina Pasareanu, Awards = Chair, NASA Ames Research Center, USA
  • Yli=E8s Falcone, Publicity Chair, Univ. Grenoble Alpes, Inria, France
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
  • Rajeev Joshi, NASA/Caltech Jet Propulsion L= aboratory, 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, = Amazon Web Services, USA
  • Theo Ruy= s, RUwise, Netherlands
  • Scott Smol= ka, Stony Brook University, USA
  • S= cott Stoller, Stony Brook University, United States
  • Jun Sun, Singapore University of Technology and Design, = Singapore
  • Oksana Tkachuk, NASA Am= es Research Center, USA
  • Stavros T= ripakis, 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, Ei= ndhoven University of Technology, Netherlands
--_000_D4B08653178E5klaushavelundjplnasagov_-- --===============2936895649724994121== 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 --===============2936895649724994121==--