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 C47E57F72D for ; Tue, 7 Feb 2017 17:38:06 +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=3Ag7pP3xW4cemoItmThYphUd4Ylt3V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRCGvKdThVPEFb/W9+hDw7KP9fuxBSpQud3e6DgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal8IRiyogjdrMobjZdtJqsz1hfCv2dFdf?= =?us-ascii?q?lRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/D?= =?us-ascii?q?TRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklC?= =?us-ascii?q?EKPCM3/2HNjsx7kbxVrhSvqRdix4LYeYCYOP94c6jAf90VWHBBU95RWSJfHoOy?= =?us-ascii?q?YYgBAOQAPelXsof9v1kDoxmjCQSiGO/g1iFHhmTt0K0/z+gsCxvL0BA6Et4Ttn?= =?us-ascii?q?nfsdX7NL0VUeCw1KTEwzfNYOlI2Tjj7IjIbxYhruyUUbltdMTRzVMgFx7ejl6N?= =?us-ascii?q?rYDoMTyY2+cQvmSe4eZrSOWihWsjqw5rvziv3d0ghIvTiYIL1F/E8Th5wIAoKt?= =?us-ascii?q?CjSk57edqkHIFWty6ALIt5WNkuQ25vuCYk07ALv4OwciYNyJQi3RHfavqHfpCS?= =?us-ascii?q?7R3/UeadOzB4hGhqeL6nnBay6UmgyuvmVsmz11ZKsjBJncXLtnAIzxDT8NaISu?= =?us-ascii?q?Bj8Ui7wzaAywDT6vteLUAzj6rbJIYtzaAqmZoIsUXMAi/2l1/3jK+MbEkk/fKo?= =?us-ascii?q?6+v/brX8uJCcLZR0hhjiPaQugMO/BeA4PRYIX2iU5+uwzrrj/Vf2QLhMk/Y4kb?= =?us-ascii?q?HZvYjHKcgFpaO1GRJZ34Yi5hqlETur39AVkWMZIF5bfB+Ll5XlN0/NLfziEPuy?= =?us-ascii?q?jFChnC12y/3IPLDtGJbAImXbnLv8fLtw71RQxBQzwN1Q/Z5ZCasNLO/xV0Pvst?= =?us-ascii?q?HTEwU3PBauw+n9DdVwzoMeVnyLAq+eKK7StV6I5vkzI+mXfoMVvizyK+M/6PL0?= =?us-ascii?q?gn85nkEdcbGo3ZsRdn+4AuxrL1iHbXfvmNsNDGcHswskQOD0h1CPVSRfa2isU6?= =?us-ascii?q?84/j07DZipDYbHRoCjmryB2yK7E4VYZmBDE1yDC3Hod4ODW/cRbiKdPtFukjka?= =?us-ascii?q?WrinV48hzgiiuxT9y7p6KOrb5jMXtYn42dhx5u3Tjg0y9SduA8SbyW6NVHt7kn?= =?us-ascii?q?kHRz8xwqBzuVZ9xUub0ahkn/xYEsRe6O9TXQc/MZ7Q1uh6C9HpWgLdZdqJU1an?= =?us-ascii?q?QtC+AT4rVN4xwtkOY1x8G9q4lBzD0TCqCacPl7OXHJw07r7c33/pKsZz03bG07?= =?us-ascii?q?Uhj0UnQsRRL22rna9+9wnWB4HSiUWWjbymdaUa3C7X9WeM13CCvE9CUARoS6XK?= =?us-ascii?q?QWgfZlfKrdT+/k7CT6KuBqo7MgZayM+CK65KZcbzjVpcXvvjOdLeY3iwm2iqHx?= =?us-ascii?q?qIyKmMZpLwe2oBxCXdFFQEkwcL8HaGKwc+HDyurHzaDDxvE1LieELt8eh7qHyg?= =?us-ascii?q?VE871RuGb0xn17qv+x4an+aQS/0J3uFMhSE6tj8hHEqhx8mETJ2EphF9Z+NaaM?= =?us-ascii?q?g0plhAyyXcvg15O5WmaKd6ml8ZdR8wsUar3hNxDZhGmsUvoXU211lPL7mF2gZE?= =?us-ascii?q?fjKcwZeiNLiSI2/0+w2pYKPT11fCy5OM974S5e8kg1Hipx2yUEwr6Hwh3N5LhG?= =?us-ascii?q?CB7JfHBxZHTJTqT0ws/AJ7rbyJXi5orY3RkHRqN66ptDTP3t8vGPANzhe7Y8wZ?= =?us-ascii?q?NqqfHUn9FNNQT5ygLakjnV6ucxQPMeVf8rIvF8enbOednqiiJ+8mkzW42zdp+o?= =?us-ascii?q?d4hwis/jRxTvPO09JN4PWRwxDPF2yg3H3g+IijuoRNeCpUPmOhxCz5AoJ5ZLV2?= =?us-ascii?q?O4ACEm7oLMqpkIYtz6XxUmJVoQbwT2gN39WkLF/MYg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DpAABN95lYh+X5nIBdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgkQ4exBVBy0HjkuoXAUdAQqCQoFcgVqCVEI?= =?us-ascii?q?VAQEBAQEBAQEBAQESAQEBCgsJCh0kC4IzBAIDEgWCHgEBQwgCGAYOAwECBgIBA?= =?us-ascii?q?UABAQQIAwEkCQEnBAoJBREGAQSJUgUJrlACg0+LTgELJjKGG4YqAYFagQ8KBwE?= =?us-ascii?q?7hUYFkAGLaQEBhmmGCocVU4REgxyGVZMNESZpLwgYCTRLggaCS4FxdYY4Ag0XB?= =?us-ascii?q?ylaAYELAQEB?= X-IPAS-Result: =?us-ascii?q?A0DpAABN95lYh+X5nIBdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgkQ4exBVBy0HjkuoXAUdAQqCQoFcgVqCVEIVAQEBAQEBAQEBA?= =?us-ascii?q?QESAQEBCgsJCh0kC4IzBAIDEgWCHgEBQwgCGAYOAwECBgIBAUABAQQIAwEkCQE?= =?us-ascii?q?nBAoJBREGAQSJUgUJrlACg0+LTgELJjKGG4YqAYFagQ8KBwE7hUYFkAGLaQEBh?= =?us-ascii?q?mmGCocVU4REgxyGVZMNESZpLwgYCTRLggaCS4FxdYY4Ag0XBylaAYELAQEB?= X-IronPort-AV: E=Sophos;i="5.33,346,1477954800"; d="scan'208,217";a="212386596" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Feb 2017 17:38:04 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id F1664601FA9; Tue, 7 Feb 2017 11:36:55 -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 Cfh49mNeN4QW; Tue, 7 Feb 2017 11:36:55 -0500 (EST) Received: from LISTS.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 7C434601DA5; Tue, 7 Feb 2017 11:36:52 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 8C51F600EB0 for ; Tue, 7 Feb 2017 11:36:49 -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 7cezq1kj5sy4 for ; Tue, 7 Feb 2017 11:36:49 -0500 (EST) Received: from mail.jpl.nasa.gov (smtp.jpl.nasa.gov [128.149.139.109]) by lists.nasa.gov (Postfix) with ESMTPS id DBCC0601315 for ; Tue, 7 Feb 2017 11:36:48 -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 v17GalcM024468 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Tue, 7 Feb 2017 08:36:47 -0800 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.172]) by ap-ehub-sp02.RES.AD.JPL ([fe80::dd85:7b07:1e36:7e3c%15]) with mapi id 14.03.0319.002; Tue, 7 Feb 2017 08:36:47 -0800 From: "Havelund, Klaus (348B)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: SPIN 2017 - Paper Submission: Extended to February 17 Thread-Index: AQHSgWBebYAqk1DIOE23VVxIt2H9WA== Date: Tue, 7 Feb 2017 16:36:45 +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.81] 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="===============9064189680753957097==" 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 - Paper Submission: Extended to February 17 --===============9064189680753957097== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D4BF36D7180BEklaushavelundjplnasagov_" --_000_D4BF36D7180BEklaushavelundjplnasagov_ 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 Paper Submission: Extended to February 17, 2017 (23:59:59 Anywhere on Earth) ________________________________ 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 (please use the sigconf 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: Extended to February 17, 2017 (23:59:59 Anywhere on= Earth) * Author Notification: Updated to April 20, 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_D4BF36D7180BEklaushavelundjplnasagov_ Content-Type: text/html; charset="iso-8859-1" Content-ID: <39A898015849AE4898C249D1475EFC1F@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 


Paper Submission: Extended to <= font color=3D"#ff0000">February 17, 2017 (23:59:59 Anywhere on Earth)

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 (please use the sigconf&nb= sp;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 Submiss= ion: Extended to February 17, 2017 (23:59:59 = Anywhere on Earth)
  • Author Notification: Updated to April 20, 2017
  • Camera-Ready Paper: = May 20, 2017
  • Symposium: 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_D4BF36D7180BEklaushavelundjplnasagov_-- --===============9064189680753957097== 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 --===============9064189680753957097==--