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 7A85A800C3 for ; Wed, 11 Jan 2017 00:27:57 +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=3AuelgLBNjEnVlcjNs0dQl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/j7pMbcNUDSrc9gkEXOFd2CrakV16yM7Ou5ACQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngu6oAfeusULnIdpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLmhy?= =?us-ascii?q?cdMz4y7X/ZhMp+gqlGpB6tvh1yz4vSbYqINvRxY7ndcMsaS2RfQsZfWS9PDY29?= =?us-ascii?q?b4QAEuQBJeRVoYvgq1YAsRexGRejBPj0xz9NmnP7x7c33/g7HA3b2gErAtIAsG?= =?us-ascii?q?7TrNXwLKoeX+K7w7PWzTrda/NWxDH955XQfhs8pP+MWah/cdfKyUIyEw/IgFqd?= =?us-ascii?q?pI/4Mj+Q2OgGrm+W4e9kVe21lm4nsBt9rDq1yccylIbJgp8VylbZ+ihiwoY1Pd?= =?us-ascii?q?m4RFR9YdG+C5tfrTuWN4RxQsM8WmxlvjsxxLMBuZ6+ZicKyZInygbFZPObdoiE?= =?us-ascii?q?+BXjVPyeITtgn3JlYLO/hxCo8Uinze38StO430pNripAitXMrG4C1wfN5cedUP?= =?us-ascii?q?ty4keh2SyV2wDU8OFELlg4mrTBJJ46wr8/ipoTvl7CHi/sgkn2i7WWdko89uiy?= =?us-ascii?q?9evneK7mqoaAOI90kA7+NqAuldK5AeQ3LAcCRW+b+f6z1LDl4Eb3Q61Kg+Urnq?= =?us-ascii?q?XHs53WP9kXq664DgNPzIou5BKyAy243NgGmXQLNE9JdAyEgoTzJl3DL/T1Ae2i?= =?us-ascii?q?j1mikjpn3fPLMqD5DpnQL3XOlK3tcah95kNT0gY+zspT6pFWB7wHPfn9QFX+tM?= =?us-ascii?q?bCAR88KwG0w/joCNF61o4GXWKPA7SZML/JsVOS4OIgOfKMa5UPtDbyLPgl+ebi?= =?us-ascii?q?jX4/mVADYamkxYYbZG67E/h8PkmUYXvhjs0fHWoFugcyVvLmhEOGXDJLYna9Ra?= =?us-ascii?q?M85jU1CIK8CofDQ5iggLKE3CuiBJJWYGZGCleREXfua4qLRfIMZzyUIs99iTwI?= =?us-ascii?q?TKOuS4g81RGoqAD11aFnI/HQ+i0ZrpLjyMN16/fVlR4o7jx7Fd6R026KT2Fqhm?= =?us-ascii?q?8IXSM53LhjoUxhzVeOybR3jOZdFdxX/v9JVgY6NYXAz+FhENDzWgfBfs+TR1q8?= =?us-ascii?q?Q9WmBysxTtMrzNMUbUZ9Ac2ojgrf0CqyH78Vi7uLCYQ68q3G0Hj+Od19xm3H1a?= =?us-ascii?q?kgilkpWdFPOne8iq5+8QjTHY/JnF+Dm6akb6QWxDTN+3ubzWqSoEFYVxZ9Uavd?= =?us-ascii?q?XXAYekvWsdX56V3YT7K1CLUnMw5BxtWYKqRQcNHpjFNGRO3iONvEeW6xlX2wDw?= =?us-ascii?q?6SxryQdIrqZ3kd3CLFBUgEjgAc42qGOBM/ByegpmLRFyZuGkj1b0Pt9+l+snK7?= =?us-ascii?q?QVUuwwGEdU0yn4ez4QMf0PyAV+sIjPVDvCY6ty4yGl+m1pTZDMTHogNgeKBVZ5?= =?us-ascii?q?Q6+EtG0mTC8AJ4e5WmKad/gFUTdglxo1i96hNsF48VlMErqG8tngR3bKue1lRc?= =?us-ascii?q?cTiV2J32JqaSMGTr4R20d4bS20rCy5CQ87wGrvs/tQL4oQurG0E+pmhhyMRfyH?= =?us-ascii?q?CG55/HXzYVBNj/VwM+8R59urfRbyww4Z/P/XltKrWv9DnLwNtvC+w7gF70cdIa?= =?us-ascii?q?OaWCExL0GMAfCs6yM8QumkO1dVQCNftbsqEzIZX1WeGB3fvhHO9+kTa7i2gDqK?= =?us-ascii?q?N521+Xv2onFr7intxNl9Kc1xacERf1klqlr8b7sYJcYXcUF3G2jyfjGtgCNeVJ?= =?us-ascii?q?YY8XBDL2cIWMzdJkisuoBXM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D4AABrbXVYh+X5nIBdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgkY7DgEBAQEBbw9ZBy0HjVBypluCDR0BCoJCgVyDYT8UAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCgsJCh0lC4IzBAIDEgWCHgEBQwgCGAYOAwECBgIBAUACAQMIA?= =?us-ascii?q?wEkCQEnBAoJBREGAQSITwUJrxcCg0+KEQELJjKGFIYbAYFNgQ8KBwGGAgWPWYt?= =?us-ascii?q?JAQGGWoV4h0eHVYZEklwREIEoHAgyR4F4gkcnEwSBMHOGKQINFwcpWgGBDAEBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0D4AABrbXVYh+X5nIBdHAEBBAEBCgEBFwEBBAEBCgEBgkY?= =?us-ascii?q?7DgEBAQEBbw9ZBy0HjVBypluCDR0BCoJCgVyDYT8UAQEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?gsJCh0lC4IzBAIDEgWCHgEBQwgCGAYOAwECBgIBAUACAQMIAwEkCQEnBAoJBRE?= =?us-ascii?q?GAQSITwUJrxcCg0+KEQELJjKGFIYbAYFNgQ8KBwGGAgWPWYtJAQGGWoV4h0eHV?= =?us-ascii?q?YZEklwREIEoHAgyR4F4gkcnEwSBMHOGKQINFwcpWgGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,345,1477954800"; d="scan'208,217";a="208688606" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Jan 2017 00:27:54 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 03976602DFE; Tue, 10 Jan 2017 18:26:53 -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 xKGHHuiBVEQm; Tue, 10 Jan 2017 18:26:52 -0500 (EST) Received: from LISTS.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 63393602C68; Tue, 10 Jan 2017 18:26:49 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 64256601804 for ; Tue, 10 Jan 2017 18:26:47 -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 Y0O4nOUQ2Sop for ; Tue, 10 Jan 2017 18:26:47 -0500 (EST) Received: from mail.jpl.nasa.gov (mailhost.jpl.nasa.gov [128.149.139.105]) by lists.nasa.gov (Postfix) with ESMTPS id CB7BD600BF1 for ; Tue, 10 Jan 2017 18:26:45 -0500 (EST) Received: from mail.jpl.nasa.gov (ap-ehub-sp01.jpl.nasa.gov [128.149.137.148]) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id v0ANQiGG009992 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Tue, 10 Jan 2017 15:26:44 -0800 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.87]) by ap-ehub-sp01.RES.AD.JPL ([169.254.3.200]) with mapi id 14.03.0319.002; Tue, 10 Jan 2017 15:26:44 -0800 From: "Havelund, Klaus (348B)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline Thread-Index: AQHSa5kAvkbdPySi50KGPEoNzLpBSw== Date: Tue, 10 Jan 2017 23:26:43 +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="===============5751915625845146453==" 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 in Santa Barbara, CA, USA - 1 month from the paper submission deadline --===============5751915625845146453== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D49AADB0170B1klaushavelundjplnasagov_" --_000_D49AADB0170B1klaushavelundjplnasagov_ 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 ________________________________ 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_D49AADB0170B1klaushavelundjplnasagov_ Content-Type: text/html; charset="iso-8859-1" Content-ID: <70285A13A263AA44A4FD99C065876ABD@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
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_D49AADB0170B1klaushavelundjplnasagov_-- --===============5751915625845146453== 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 --===============5751915625845146453==--