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 805B57EF0A for ; Thu, 5 May 2016 15:19:24 +0200 (CEST) IronPort-PHdr: 9a23:x3hBkRUi/3nZwOHEHjJEvkAJO9fV8LGtZVwlr6E/grcLSJyIuqrYZhOHt8tkgFKBZ4jH8fUM07OQ6PCxHzRcqsvR+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8yVO1kD2Wr1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GJ9cBSk9e0A8+sDvqB/PBV+P72URVngQnjJHBgHE6FfxWZKn4QXgse8o+y2TINa+bbkqVDC/6asjHBTvjT8cPD809mrazMV2iqVGphmsohF536bbZYiUMLx1eaaLLoBSfnZIQssED38JOYi7dYZaV+c= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=compscience.announcement@gmail.com; spf=Pass smtp.mailfrom=compscience.announcement@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f194.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of compscience.announcement@gmail.com) identity=pra; client-ip=209.85.161.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="compscience.announcement@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of compscience.announcement@gmail.com designates 209.85.161.194 as permitted sender) identity=mailfrom; client-ip=209.85.161.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="compscience.announcement@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f194.google.com) identity=helo; client-ip=209.85.161.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="postmaster@mail-yw0-f194.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D0BgBfRytXY8KhVdFdgzgeBDFuDwauJIsHAQ2BdhcBCocbBzgUAQEBAQEBAQEFFwsMBiExgi2CLQsGHQEbChQDEgMNNwIkAREBBQEiLgeHcgEDEg6RAI07ggeBMT4xizuBaoJXhysKGScNUYN0GAEFCgWMFoVOCy0TgkYFjk2JTYV8iB1zdU6Df4heh2eGDxIegQ4PDwEBglSBeRwwAYhZAQEB X-IPAS-Result: A0D0BgBfRytXY8KhVdFdgzgeBDFuDwauJIsHAQ2BdhcBCocbBzgUAQEBAQEBAQEFFwsMBiExgi2CLQsGHQEbChQDEgMNNwIkAREBBQEiLgeHcgEDEg6RAI07ggeBMT4xizuBaoJXhysKGScNUYN0GAEFCgWMFoVOCy0TgkYFjk2JTYV8iB1zdU6Df4heh2eGDxIegQ4PDwEBglSBeRwwAYhZAQEB X-IronPort-AV: E=Sophos;i="5.24,582,1454972400"; d="scan'208,217";a="176809375" Received: from mail-yw0-f194.google.com ([209.85.161.194]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 May 2016 15:19:23 +0200 Received: by mail-yw0-f194.google.com with SMTP id y6so11580838ywe.0 for ; Thu, 05 May 2016 06:19:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to; bh=qgBMJ2FFlE/ggqeXjA62gU4GAGdkZkQ9b5TGie+AmLA=; b=vEcqlmvqAm411vJHahkUw00C2wEDYViconCBtpQxg8gjckU4y0dv8HsA4EpaquAYBP NdpPsL/Ky4VDabDDurZAk7Kk4fJb1Puqlsq4od79WWGLlnFSQMnyvtKpGWTo65ShXaoh jPK+pDh2bAy3zPw3Dvsv08Q+tKOlkOHDGmt75hao6wJ/MA+uFX0q/38IMvI3lsI0G9/B PisSZxOBYM3i9SjhWYKFkZiOBChuDuES4Ga8XDmNpGG6NEuent19SitF8U+FnCeJkpQu ln56kb99TO1EVfgd4v7kZx7+6TyzZBc+fab3nxO8gqYLMS/RcBOUAtxRzJT6SX4mb8ne LCCg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to; bh=qgBMJ2FFlE/ggqeXjA62gU4GAGdkZkQ9b5TGie+AmLA=; b=Yr4mYzeb9erD/4Cxpn6eZA9UC9vymgp2wsOsHJZKqh44GdxHDZH8vkDG5GwO47TQc4 6JW/Od/GemQGbOtZxI2ePy07/IHj1Q3Jv+K2qjNdoEfDs6G0/TKMq4xImyGPCUEnX9Kv a9t3Rtur7gZbRSWsdrIkj3dPnx1QQBp77tkwk929DAxaaZ21cay5ZigxMGqDDIzF8Q/3 zE3tqdXLrKHcaWCiwB2l+xS7HQWpEcj51TJatCoNptI6UJMLiWniG6UAejP64P3y3Bt5 MPVkr1hIpfElC7cUSwjdNdBmndx+3qfnJM4zcfPcADEW2ShAE52MhGFon78mp7hjavkL KMew== X-Gm-Message-State: AOPr4FXkgHJgo5spqtkXCKs/Da3cQyc+VsGDF3Ke34qopGtCQBv8xbNOyXrZA342x7EzHQVfTwpz6hyO4apeuQ== MIME-Version: 1.0 X-Received: by 10.37.98.200 with SMTP id w191mr1938836ybb.9.1462454361852; Thu, 05 May 2016 06:19:21 -0700 (PDT) Received: by 10.37.96.5 with HTTP; Thu, 5 May 2016 06:19:21 -0700 (PDT) Date: Thu, 5 May 2016 06:19:21 -0700 Message-ID: From: Klaus Havelund To: Klaus Havelund Content-Type: multipart/alternative; boundary=001a1142e076bd21e5053218300a Subject: [Caml-list] NFM 2016 - Call for participation --001a1142e076bd21e5053218300a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable ******************************************************************** CALL FOR PARTICIPATION The 8th NASA Formal Methods Symposium June 7 - June 9, 2016 McNamara Alumni Center University of Minnesota Minneapolis, MN http://crisys.cs.umn.edu/nfm2016 ******************************************************************** REGISTRATION ... is FREE! All interested individuals, including non-US citizens, are welcome to attend. All participants must register but there is no registration fee. Please register online at http://crisys.cs.umn.edu/nfm2016/REGISTRATION We strongly encourage participants to register early and reserve accommodations. A block of hotel rooms are reserved at The Commons Hotel until May 7, 2016. THEME OF THE SYMPOSIUM The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the aerospace industry, with the goal of identifying challenges and providing solutions towards achieving assurance for safety- and mission-critical systems. We have assembled an exciting 3-day program featuring * Oral presentations of 29 peer-reviewed papers * Three prominent keynote speakers * Tool demonstrations * Breakout sessions on applications of formal methods to future NASA missions * Ample opportunities for networking and socializing KEYNOTES * Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods Might Find Application on Future NASA Missions=E2=80=9D * Kevin Driscoll (Honeywell): "Murphy Was Here" * Kathleen Fisher (Tufts University): "Using Formal Methods to Eliminate Exploitable Bugs" ACCEPTED PAPERS The program features 19 regular and 10 short/tool papers on: * Requirements and architectures * Model checking and verification * Theorem proving and proofs * Testing and runtime enforcement * Synthesis and code generation * Applications of formal methods * Certification and correctness List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/ ORGANIZING COMMITTEE Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) Mike Whalen, University of Minnesota, USA (Financial Chair) Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) PROGRAM COMMITTEE Julia Badger, NASA Johnson Space Center, USA Clark Barrett, New York University, USA Saddek Bensalem, Verimag and University Joseph Fourier, France Dirk Beyer, University of Passau, Germany Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, FBK, Italy Darren Cofer, Rockwell Collins, Inc., USA Myra Cohen, University of Nebraska-Lincoln, USA Misty Davies, NASA Ames Research Center, USA Leonardo de Moura, Microsoft, USA Ben Di Vito, NASA Langley Research Center, USA Alexandre Duret-Lutz, LRDE / EPITA, France Andrew Gacek, Rockwell Collins, Inc., USA Pierre-Loic Garoche, ONERA, France Shalini Ghosh, SRI International, USA Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France Radu Grosu, Stony Brook University, USA Arie Gurfinkel, SEI, Carnegie Mellon University, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Constance Heitmeyer, Naval Research Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Falk Howar, TU Clausthal / IPSSE, Germany Rajeev Joshi, NASA Jet Propulsion Laboratory, USA Dejan Jovanovi#, SRI International, USA Gerwin Klein, NICTA and University of New South Wales, Australia Daniel Kroening, University of Oxford, UK Rahul Kumar, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) C=C3=88lia Martinie, ICS-IRIT, Universite Paul Sabatier, France Eric Mercer, Brigham Young University, USA Cesar Munoz, NASA Langley Research Center, USA Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA Natasha Neogi, NASA Langley Research Center, USA Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA Charles Pecheur, Universite catholique de Louvain, Belgium Lee Pike, Galois, Inc., USA Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, Kansas State University, USA Venkatesh Prasad Ranganath, Kansas State University, USA Franco Raimondi, Middlesex University, UK Kristin Yvonne Rozier, University of Cincinnati, USA Neha Rungta, SGT, Inc./NASA Ames Research Center, USA Oleg Sokolsky, University of Pennsylvania, USA Stefano Tonetta, FBK, Italy Willem Visser, Stellenbosch University, South Africa Virginie Wiels, ONERA / DTIM, France Guowei Yang, Texas State University, USA STEERING COMMITTEE Julia Badger, NASA Johnson Space Center, USA Ben Di Vito, NASA Langley Research Center, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA Kristin Yvonne Rozier, University of Cincinnati, USA Johann Schumann, SGT, Inc./NASA Ames Research Center, USA --001a1142e076bd21e5053218300a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

**************************************= ******************************
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0CALL FOR PARTICIPATION
= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0The 8th NASA Formal Methods= Symposium

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0June 7 - June 9, 2016

<= /div>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 McNamara Alumni Center=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0University of Minnesota=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 Minneapolis, MN

=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 http:= //crisys.cs.umn.edu/nfm2016
*********************************= ***********************************


REGISTRATION=C2=A0

... is FREE!
All int= erested individuals, including non-US citizens, are welcome to attend. All = participants must register but there is no registration fee. Please registe= r online at


We strongly encourage participants= to register early and reserve accommodations. A block of hotel rooms are r= eserved at The Commons Hotel until May 7, 2016.

THEME OF THE SYMPOSIUM

The NASA Forma= l Methods Symposium is a forum to foster collaboration between theoretician= s and practitioners from NASA, academia, and the aerospace industry, with t= he goal of identifying challenges and providing solutions towards achieving= assurance for safety- and mission-critical systems.

We have assembled an exciting 3-day program featuring
=C2=A0 *= Oral presentations of 29 peer-reviewed papers
=C2=A0 * Three pro= minent keynote speakers
=C2=A0 * Tool demonstrations
= =C2=A0 * Breakout sessions on applications of formal methods to future NASA= missions
=C2=A0 * Ample opportunities for networking and sociali= zing


KEYNOTES

<= div>=C2=A0 * Michael L. Aguilar (NASA Technical Fellow): "Where Formal= Methods Might Find Application on Future NASA Missions=E2=80=9D
=
=C2=A0 * Kevin Driscoll (Honeywell): "Murphy Was Here&q= uot;

=C2=A0 * Kathleen Fisher (Tufts University): = "Using Formal Methods to Eliminate Exploitable Bugs"

ACCEPTED PAPERS

The pr= ogram features 19 regular and 10 short/tool papers on:
=C2=A0
=C2=A0 * Requirements and architectures
=C2=A0 * Model che= cking and verification
=C2=A0 * Theorem proving and proofs
<= div>=C2=A0 * Testing and runtime enforcement
=C2=A0 * Synthesis a= nd code generation
=C2=A0 * Applications of formal methods
<= div>=C2=A0 * Certification and correctness

List of= all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/

<= br>
ORGANIZING COMMITTEE

Michael Lowry, = NASA Ames Research Center, USA (NASA Liaison)
Johann Schumann, SG= T, Inc./NASA Ames Research Center, USA (General Chair)
Oksana Tka= chuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
Sanjai = Rayadurgam, University of Minnesota, USA (PC Chair)
Mike Whalen, = University of Minnesota, USA (Financial Chair)
Mats Heimdahl, Uni= versity of Minnesota, USA (Local Arrangements Chair)


PROGRAM COMMITTEE

Julia Badger, = NASA Johnson Space Center, USA
Clark Barrett, New York University= , USA
Saddek Bensalem, Verimag and University Joseph Fourier, Fra= nce
Dirk Beyer, University of Passau, Germany
Borzoo Bo= nakdarpour, McMaster University, Canada
Alessandro Cimatti, FBK, = Italy
Darren Cofer, Rockwell Collins, Inc., USA
Myra Co= hen, University of Nebraska-Lincoln, USA
Misty Davies, NASA Ames = Research Center, USA
Leonardo de Moura, Microsoft, USA
= Ben Di Vito, NASA Langley Research Center, USA
Alexandre Duret-Lu= tz, LRDE / EPITA, France
Andrew Gacek, Rockwell Collins, Inc., US= A
Pierre-Loic Garoche, ONERA, France
Shalini Ghosh, SRI= International, USA
Susanne Graf, Universite Joseph Fourier / CNR= S / VERIMAG, France
Radu Grosu, Stony Brook University, USA
=
Arie Gurfinkel, SEI, Carnegie Mellon University, USA
Klaus H= avelund, NASA Jet Propulsion Laboratory, USA
Constance Heitmeyer,= Naval Research Laboratory, USA
Gerard Holzmann, NASA Jet Propuls= ion Laboratory, USA
Falk Howar, TU Clausthal / IPSSE, Germany
Rajeev Joshi, NASA Jet Propulsion Laboratory, USA
Dejan Jo= vanovi#, SRI International, USA
Gerwin Klein, NICTA and Universit= y of New South Wales, Australia
Daniel Kroening, University of Ox= ford, UK
Rahul Kumar, NASA Jet Propulsion Laboratory, USA
Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
C= =C3=88lia Martinie, ICS-IRIT, Universite Paul Sabatier, France
Er= ic Mercer, Brigham Young University, USA
Cesar Munoz, NASA Langle= y Research Center, USA
Jorge A Navas, SGT, Inc./NASA Ames Researc= h Center, USA
Natasha Neogi, NASA Langley Research Center, USA
Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA
Char= les Pecheur, Universite catholique de Louvain, Belgium
Lee Pike, = Galois, Inc., USA
Andreas Podelski, University of Freiburg, Germa= ny
Pavithra Prabhakar, Kansas State University, USA
Ven= katesh Prasad Ranganath, Kansas State University, USA
Franco Raim= ondi, Middlesex University, UK
Kristin Yvonne Rozier, University = of Cincinnati, USA
Neha Rungta, SGT, Inc./NASA Ames Research Cent= er, USA
Oleg Sokolsky, University of Pennsylvania, USA
= Stefano Tonetta, FBK, Italy
Willem Visser, Stellenbosch Universit= y, South Africa
Virginie Wiels, ONERA / DTIM, France
Gu= owei Yang, Texas State University, USA


<= div>STEERING COMMITTEE

Julia Badger, NASA Johnson = Space Center, USA
Ben Di Vito, NASA Langley Research Center, USA<= /div>
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Ger= ard Holzmann, NASA Jet Propulsion Laboratory, USA
Michael Lowry, = NASA Ames Research Center, USA
Kristin Yvonne Rozier, University = of Cincinnati, USA
Johann Schumann, SGT, Inc./NASA Ames Research = Center, USA

--001a1142e076bd21e5053218300a--