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 7D9897F779 for ; Thu, 10 Mar 2016 15:30:49 +0100 (CET) IronPort-PHdr: 9a23:7fVjqRQKY7CsiRUSQwq2O/TSvtpsv+yvbD5Q0YIujvd0So/mwa6+YBSN2/xhgRfzUJnB7Loc0qyN4/+mCTxLv8/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuDM04W3XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQqIjULYNDCg6K3tno4rvtALfVk2J72AVFGoRjF1NCgnB6Rj8GZDprir9sPE61izfNMvwSq0yUjmn4qF3U0zVjjwaPWs8+WDTlssigqceqRSnoAF5yIPRbYeJL79kc7rAcMgGbW5ARdpKESpIGYr6YIwRWPEcN+RVpJWoul0VsBGlDhOtDu689jgdzHHzmKQ81eM8FwrL2QEmA8kmtHXPsM6zMq4JWKa6y7eChWHNarZf3zH69Y7DfxUsp+2XdbZxatbKj08mDAqDgVKO/9/LJTSQg64tunaW6/dmWabnqGoutho54mPzl+ltwMGdpYYc10uC1SxnzYIoI9GQSlZ/J9itC5IWuCaEYdglCvg+Sn1l7X5pgoYNvoS2KXAH 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" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A/AAB/hOFWk+X5nIBegnKBHm0GulkBDYIEAQGCRIRzOBQBAQEBAQEBARABAQEBCQsJCSEkC4ItghYFAQEBGikIAhYCBgQKAwECBgIBAUACBAgDASQJAScEEwUYBIgDBb1DDB6GGYNZgh8BglIOAwGEWAWGHgqRFAGFaYUlhRiGcIVghXGGCYJuEQ8BAYJSgVRqiCE0AX0BAQE X-IPAS-Result: A0A/AAB/hOFWk+X5nIBegnKBHm0GulkBDYIEAQGCRIRzOBQBAQEBAQEBARABAQEBCQsJCSEkC4ItghYFAQEBGikIAhYCBgQKAwECBgIBAUACBAgDASQJAScEEwUYBIgDBb1DDB6GGYNZgh8BglIOAwGEWAWGHgqRFAGFaYUlhRiGcIVghXGGCYJuEQ8BAYJSgVRqiCE0AX0BAQE X-IronPort-AV: E=Sophos;i="5.24,316,1454972400"; d="scan'208,217";a="168020790" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 10 Mar 2016 15:30:46 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 4CFCC602FFC; Thu, 10 Mar 2016 09:29:32 -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 Aow3b-iWnHk3; Thu, 10 Mar 2016 09:29:32 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 0FD0A602BDB; Thu, 10 Mar 2016 09:29:29 -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 DF04E600C4B for ; Thu, 10 Mar 2016 09:29:25 -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 1nuu64C0tSb0 for ; Thu, 10 Mar 2016 09:29:25 -0500 (EST) Received: from mail.jpl.nasa.gov (mailhost.jpl.nasa.gov [128.149.139.106]) by lists.nasa.gov (Postfix) with ESMTPS id 66D616018C5 for ; Thu, 10 Mar 2016 09:29:24 -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 u2AETMV8015274 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Thu, 10 Mar 2016 06:29:22 -0800 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.117]) by ap-ehub-sp01.RES.AD.JPL ([169.254.3.139]) with mapi id 14.03.0279.002; Thu, 10 Mar 2016 06:29:21 -0800 From: "Havelund, Klaus (349F)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: [RV 2016] Second Call for Papers -- 2 months to the deadline Thread-Index: AQHRetk8DoBOMPUfa0OYeV7SUiXEfw== Date: Thu, 10 Mar 2016 14:29:20 +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.0.151221 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="===============7533668511148472745==" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: havelund@gmail.com Subject: [Caml-list] [fm-announcements] [RV 2016] Second Call for Papers -- 2 months to the deadline --===============7533668511148472745== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D306C4BB11A92klaushavelundjplnasagov_" --_000_D306C4BB11A92klaushavelundjplnasagov_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable [Our apologies for duplicates] RV 2016 16th International Conference on Runtime Verification September 23-30, Madrid, Spain http://rv2016.imag.fr =3D Scope Runtime verification is concerned with monitoring and analysis of software = and hardware system executions. Runtime verification techniques are crucial= for system correctness, reliability, and robustness; they are significantl= y more powerful and versatile than conventional testing, and more practical= than exhaustive formal verification. Runtime verification can be used prio= r to deployment, for testing, verification, and debugging purposes, and aft= er deployment for ensuring reliability, safety, and security and for provid= ing fault containment and recovery as well as online system repair. Topics = of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - runtime enforcement, fault detection, localization, containment, recovery= and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include cyber-physical systems, s= afety/mission-critical systems, enterprise and systems software, autonomous= and reactive control systems, health management and diagnosis systems, and= system security and privacy. =3D Invited Speakers The program of RV 2016 will feature invited talks from: Gul Agha (University of Illinois at Urbana-Champaign, USA) Oded Maler (CNRS and University of Grenoble-Alpes, France) Fred B. Schneider (Cornell University, USA) =3D Overview RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature= the first summer school on Runtime Verification (September 23-25), two wor= kshop days (September 26-25), and three conference days (September 28-30). =3D General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LN= CS volume. Submitted papers and tutorials must use the LNCS/Springer style.= At least one author of each accepted paper and tutorial must attend RV 201= 6 to present the paper. Papers must be written in English and submitted ele= ctronically (in PDF format) using the EasyChair system. The below page limi= tations include all text and figures, but exclude references. Additional de= tails omitted due to space limitations may be included in a clearly marked = appendix that will be reviewed at the discretion of reviewers. =97 Research Papers Track Research papers can be submitted in two categories: regular and short paper= s. Papers in both categories will be reviewed by at least 3 members of the = Program Committee. * Regular Papers (up to 15 pages) should present original unpublished resul= ts. Theoretical papers, system and application papers as well as case studi= es on runtime verification are all welcome. The Program Committee of RV 2015 will give a best paper award. A selection = of accepted regular papers will be invited to appear in a special issue of = the Springer Journal on Formal Methods in System Design. * Short Papers (up to 6 pages) may present novel but not necessarily thorou= ghly worked out ideas, for example emerging runtime verification techniques= and applications, or techniques and applications that establish relationsh= ips between runtime verification and other domains. Accepted short papers w= ill be presented in special talk (15 minutes) and poster sessions. =97 Tool Papers Track The aim of the RV 2016 tool track is to provide an opportunity for research= ers and practitioners to show and to discuss the latest advances, experienc= es and challenges in devising and developing reliable software tools for ru= ntime verification. All tool papers will be reviewed by at least 3 members = of the Tool Committee. An author of each accepted tool paper should give a = 15-20 minutes demonstration during the conference. All tool papers must include information on tool availability, maturity, se= lected experimental results and it should provide a link to a website conta= ining the theoretical background and user guide. Furthermore, we strongly e= ncourage authors to make their tools and benchmarks available with their su= bmission. We encourage tool papers to include a script in an appendix (not included i= n the page count) describing how the demo will be conducted during the conf= erence presentation with screenshots presenting step-by-step the tool=92s c= apabilities, highlighting the main characteristics and the usage. Tool papers can be submitted into two categories: * Regular Tool Papers (up to 8 pages). A tool paper in this category should= present a new tool, a new tool component or significant and novel extensio= ns to existing tools supporting runtime verification. Each submission shoul= d be original and not published previously in a tool paper form. * Tool Exhibition Papers (up to 4 pages). A tool paper in this category can= have been previously published. A tool paper in this category should be or= iented towards the tool usage and is an opportunity for the developers to p= resent them at RV 2016. =97 Tutorial Track Tutorials are two-to-three-hour presentations on a selected topic. Addition= ally, tutorial presenters will be offered to publish a paper of up to 20 pa= ges in the LNCS conference proceedings. A proposal for a tutorial must contain the subject of the tutorial, a propo= sed timeline, a note on previous similar tutorials (if applicable) and the = differences to this incarnation, and a biography of the presenter. The prop= osal must not exceed 2 pages. Tutorial proposals will be reviewed by the Pr= ogram Committee. =3D Important Dates Research and tool papers as well as tutorials will follow the following tim= eline: Abstract deadline: May 8, 2016 Paper and tutorial deadline: May 15, 2016 Tutorial notification: June 1, 2016 Paper notification: July 11, 2016 Camera ready deadline: August 8, 2016 Summer school: September 23-25, 2016 Workshops and tutorials: September 26-27, 2016 Conference: September 28-30, 2016 =3D Committees =97 Program Committee Chairs Yli=E8s Falcone, Univ. Grenoble-Alpes and Inria, France Cesar Sanchez, IMDEA Software, Madrid, Spain =97 Tool Committee Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA =97 Local Organization Chair Juan E. Tapiador, Universidad Carlos III de Madrid, Spain =97 Program Committee Erika Abraham, RWTH Aachen University, Germany Howard Barringer, The University of Manchester, UK Ezio Bartocci, TU Wien, Austria Andreas Bauer, NICTA & Australian National University, Australia Saddek Bensalem, Univ. Grenoble Alpes, France Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany Borzoo Bonakdarpour, McMaster University, Canada Laura Bozzelli, Technical University of Madrid (UPM), Spain Juan Caballero, IMDEA Software Institute, Spain Wei-Ngan Chin, National University of Singapore, Singapore Christian Colombo, University of Malta, Malta Jyotirmoy Deshmukh, Toyota Technical Center, USA Alexandre Donz=E9, UC Berkeley EECS Department, USA Yli=E8s Falcone, Univ. Grenoble Alpes and Inria, France Bernd Finkbeiner, Saarland University, Germany Adrian Francalanza, University of Malta, Malta Vijay Garg, The University of Texas at Austin, USA Patrice Godefroid, Microsoft Research, USA Susanne Graf, Univ. Grenoble Alpes and CNRS, France Radu Grosu, Vienna University of Technology, Austria Sylvain Hall=E9, Universit=E9 du Qu=E9bec =E0 Chicoutimi, Canada Klaus Havelund, NASA Jet Propulsion Laboratory, USA Johan Jaffar, National University of Singapore, Singapore Thierry J=E9ron, Inria Rennes =96 Bretagne Atlantique, France Johannes Kinder, Royal Holloway University of London, UK Felix Klaedtke, NEC Europe Ltd., Germany Kim G. Larsen, Aalborg University, Denmark Axel Legay, Inria Rennes =96 Bretagne Atlantique, France Martin Leucker, University of L=FCbeck, Germany Benjamin Livshits, Microsoft Research, USA Joao Louren=E7o, Universidade Nova de Lisboa, Portugal Rupak Majumdar, MPI-SWS, Germany Leonardo Mariani, University of Milano Bicocca, Italy David Naumann, Stevens Institute of Technology, USA Dejan Nickovic, Austrian Institute of Technology, Austria Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Lee Pike, Galois, Inc., USA Grigore Rosu, University of Illinois at Urbana-Champaign, USA Gwen Sala=FCn, Univ. Grenoble Alpes and Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Sriram Sankaranarayanan, University of Colorado Boulder, USA Gerardo Schneider, University of Gothenburg, Sweden Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volder Stolz, University of Oslo, Norway Jun Sun, Singapore University of Technology and Design, Singapore Juan Tapiador, Universidad Carlos III de Madrid, Spain Serdar Tasiran, Koc Univ., Turkey Michael Whalen, University of Minnesota, USA Eugen Zalinescu, ETH Zurich, Switzerland Lenore Zuck, University of Illinois at Chicago, USA =97 Tool Committee Steven Artz, EC Spride, Germany Howard Barringer, The University of Manchester, UK Ezio Bartocci, TU Wien, Austria Martin Leucker, University of Luebeck, Germany Gordon Pace, University of Malta, Malta Giles Reger, The University of Manchester, UK Julien Signoles, CEA, France Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Nikolai Tillmann, Microsoft Research, USA Eugen Zalinescu, ETH Zurich, Switzerland =97 end =97 --_000_D306C4BB11A92klaushavelundjplnasagov_ Content-Type: text/html; charset="Windows-1252" Content-ID: <5BB95D21CDFD364B8AD0A7F4E380348B@ad.jpl> Content-Transfer-Encoding: quoted-printable

[O= ur apologies for duplicates]

RV 2016
16th International Conference on Runtime Verification
September 23-30, Madrid, Spain

http://rv2016.imag.fr


=3D Scope

Runtime verification is concerned with monitoring and analysis of software = and hardware system executions. Runtime verification techniques are crucial= for system correctness, reliability, and robustness; they are significantl= y more powerful and versatile than conventional testing, and more practical than exhaustive formal verificati= on. Runtime verification can be used prior to deployment, for testing, veri= fication, and debugging purposes, and after deployment for ensuring reliabi= lity, safety, and security and for providing fault containment and recovery as well as online system repair. = Topics of interest to the conference include:

- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- runtime enforcement, fault detection, localization, containment, recovery= and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications=
- monitoring security and privacy policies

Application areas of runtime verification include cyber-physical systems, s= afety/mission-critical systems, enterprise and systems software, autonomous= and reactive control systems, health management and diagnosis systems, and= system security and privacy.


=3D Invited Speakers

The program of RV 20= 16 will feature invited talks from:

Gul Agha (University of Illinois at Urbana-Champaign, USA)
Oded Maler (CNRS and University of Grenoble-Alpes, France)
Fred B. Schneider (Cornell University, USA)


=3D Overview

RV 2016 will = be held S= eptember 23-30 in Madrid, Spain. RV 2= 016 will feature the first summer school on Runtime Verificatio= n (September 23-25), two workshop days (September 26-25), and three confe= rence days (September 28-30).


=3D General Information on Submissions

All papers and tutorials will appear in= the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. = At least one author of each accepted paper&n= bsp;and tutorial must attend RV 2016 to present the paper.&= nbsp;Papers must be written in English and s= ubmitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude reference= s. Additional details omitted due to space limitations may be included in a= clearly marked appendix that will be reviewed at the discretion of reviewe= rs.

=97 Research Papers Track

Research papers can be submitted in two= categories: regular and short papers. = Papers in both categories will be reviewed b= y at least 3 members of the Program Committee. 

* Regular Papers (up to 15 pages) shoul= d present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome. 
The Program Committee of RV 2015 will g= ive a best paper award. A selection of = accepted regular papers will be invited= to appear in a special issue of the Springer Journal on Formal Methods in System Design.

* Short Papers (up to 6 pages) may pres= ent novel but not necessarily thoroughly worked out ideas, for example emer= ging runtime verification techniques and applications, or techniques and ap= plications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and = poster sessions.

=97 Tool Papers Track

The aim of the RV 20= 16 tool track is to provide an opportunity for researchers and = practitioners to show and to discuss the latest advances, experiences and c= hallenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An = author of each accepted tool paper shou= ld give a 15-20 minutes demonstration during the conference.

All tool papers must include informatio= n on tool availability, maturity, selected experimental results and it shou= ld provide a link to a website containing the theoretical background and us= er guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission= .

We encourage tool papers to includ= e a script in an appendix (not included in the page count) describing how t= he demo will be conducted during the conference presentation with screensho= ts presenting step-by-step the tool=92s capabilities, highlighting the main characteristics and the usage.

Tool papers can be submitted into two c= ategories: 

* Regular Tool Papers (up to 8 pages). = A tool paper in this category should pr= esent a new tool, a new tool component or significant and novel extensions = to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool = paper form.

* Tool Exhibition Papers (up to 4 = pages). A tool paper in this category c= an have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016.


=97 Tutorial Track

Tutorials are two-to-three-hour presentations on a selected topic. Addition= ally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.=

A proposal for a tutorial must contain the subject of the tutorial, a propo= sed timeline, a note on previous similar tutorials (if applicable) and the = differences to this incarnation, and a biography of the presenter. The prop= osal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee.


=3D Important Dates

Research and tool papers as well as tut= orials will follow the following timeline:

Abstract deadline: May 8, 2016
Paper and tutorial deadline: May 15, 2016
Tutorial notification: June 1, 2016
Paper notification: July 11, 2016
Camera ready deadline: August 8, 2016
Summer school: September 23-25, 2016
Workshops and tutorials: September 26-27, 2016
Conference: September 28-30, 2016


=3D Committees

=97 Program Committee Chairs

Yli=E8s Falcone, Univ. Grenoble-Alpes and Inria, France
Cesar Sanchez, IMDEA Software, Madrid, Spain

=97 Tool Committee Chair

Klaus Havelund, NASA Jet Propulsion Laboratory, USA

=97 Local Organization Chair

Juan E. Tapiador, Universidad Carlos III de Madrid, Spain

=97 Program Committee

Erika Abraham, RWTH Aachen University, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Andreas Bauer, NICTA & Australian National University, Australia
Saddek Bensalem, Univ. Grenoble Alpes, France
Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Laura Bozzelli, Technical University of Madrid (UPM), Spain
Juan Caballero, IMDEA Software Institute, Spain
Wei-Ngan Chin, National University of Singapore, Singapore
Christian Colombo, University of Malta, Malta
Jyotirmoy Deshmukh, Toyota Technical Center, USA
Alexandre Donz=E9, UC Berkeley EECS Department, USA
Yli=E8s Falcone, Univ. Grenoble Alpes and Inria, France
Bernd Finkbeiner, Saarland University, Germany
Adrian Francalanza, University of Malta, Malta
Vijay Garg, The University of Texas at Austin, USA
Patrice Godefroid, Microsoft Research, USA
Susanne Graf, Univ. Grenoble Alpes and CNRS, France
Radu Grosu, Vienna University of Technology, Austria
Sylvain Hall=E9, Universit=E9 du Qu=E9bec =E0 Chicoutimi, Canada
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Johan Jaffar, National University of Singapore, Singapore
Thierry J=E9ron, Inria Rennes =96 Bretagne Atlantique, France
Johannes Kinder, Royal Holloway University of London, UK
Felix Klaedtke, NEC Europe Ltd., Germany
Kim G. Larsen, Aalborg University, Denmark
Axel Legay, Inria Rennes =96 Bretagne Atlantique, France
Martin Leucker, University of L=FCbeck, Germany
Benjamin Livshits, Microsoft Research, USA
Joao Louren=E7o, Universidade Nova de Lisboa, Portugal
Rupak Majumdar, MPI-SWS, Germany
Leonardo Mariani, University of Milano Bicocca, Italy
David Naumann, Stevens Institute of Technology, USA
Dejan Nickovic, Austrian Institute of Technology, Austria
Gordon Pace, University of Malta, Malta
Doron Peled, Bar Ilan University, Israel
Lee Pike, Galois, Inc., USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Gwen Sala=FCn, Univ. Grenoble Alpes and Inria, France
Cesar Sanchez, IMDEA Software Institute, Spain
Sriram Sankaranarayanan, University of Colorado Boulder, USA
Gerardo Schneider, University of Gothenburg, Sweden
Scott Smolka, Stony Brook University, USA
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Scott Stoller, Stony Brook University, USA
Volder Stolz, University of Oslo, Norway
Jun Sun, Singapore University of Technology and Design, Singapore
Juan Tapiador, Universidad Carlos III de Madrid, Spain
Serdar Tasiran, Koc Univ., Turkey
Michael Whalen, University of Minnesota, USA
Eugen Zalinescu, ETH Zurich, Switzerland
Lenore Zuck, University of Illinois at Chicago, USA

=97 Tool Committee

Steven Artz, EC Spride, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Martin Leucker, University of Luebeck, Germany
Gordon Pace, University of Malta, Malta
Giles Reger, The University of Manchester, UK
Julien Signoles, CEA, France
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Nikolai Tillmann, Microsoft Research, USA
Eugen Zalinescu, ETH Zurich, Switzerland

=97 end =97

--_000_D306C4BB11A92klaushavelundjplnasagov_-- --===============7533668511148472745== 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 --===============7533668511148472745==--