From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BF9207EFCD for ; Mon, 27 Oct 2014 01:19:36 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of compscience.announcement@gmail.com) identity=pra; client-ip=209.85.217.193; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="compscience.announcement@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of compscience.announcement@gmail.com designates 209.85.217.193 as permitted sender) identity=mailfrom; client-ip=209.85.217.193; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lb0-f193.google.com) identity=helo; client-ip=209.85.217.193; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="postmaster@mail-lb0-f193.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArkFAAyPTVTRVdnBamdsb2JhbABcg2JYBIMCtgQBB4cxjC8BCYhVBxYBEQsLDAYUMIQbCwYdARsKFAMSEAUoAQkCJAERAQUBV4gJAQMSDaQugyFuizOBcoMRh30KGScNZ4V3AQUOhiaHBoJ2BIMRDzISgUIFhRWFVnmHKoJch3dbk18YKYNBggodL4EGgUUBAQE X-IPAS-Result: ArkFAAyPTVTRVdnBamdsb2JhbABcg2JYBIMCtgQBB4cxjC8BCYhVBxYBEQsLDAYUMIQbCwYdARsKFAMSEAUoAQkCJAERAQUBV4gJAQMSDaQugyFuizOBcoMRh30KGScNZ4V3AQUOhiaHBoJ2BIMRDzISgUIFhRWFVnmHKoJch3dbk18YKYNBggodL4EGgUUBAQE X-IronPort-AV: E=Sophos;i="5.04,792,1406584800"; d="scan'208";a="103060064" Received: from mail-lb0-f193.google.com ([209.85.217.193]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Oct 2014 01:19:35 +0100 Received: by mail-lb0-f193.google.com with SMTP id w7so82513lbi.0 for ; Sun, 26 Oct 2014 17:19:35 -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:content-type; bh=3R/baoTOhUCCqATjtYwvs/2Ri4b+ZfHGqRik6Fo4VBY=; b=a2IDJJiEkKOo2W/VI5CNOnBVx3TurgTlpVPE7BdjKqVnKgbL4uxS4pH2s2si14MTi+ qvPB6U12zdr3+dKbwrZmc9e9V+B7iLymt52P4CkHhxd5M6Lu8B1iivj8Vhj9hAajON5m FwnfTGuaLVa8diWhzpBd70tCrjmkUl5auW/JGaKrWMwXOQ180mYBO+s8fAR5fYOEZ15o O/rDVCRPbBqRitDJY4Jdi+VT+mz/08emmCTZcA5Lz2+PmFmhaUgM0OTuSh8qo0AuYjvd KyE++N8bXHr4cBJZeX4wf1Koxu9h9fgGlr6Jz9of8QUG00MTYOjef1uciDywaASe9vuG AuIw== MIME-Version: 1.0 X-Received: by 10.112.77.74 with SMTP id q10mr19588573lbw.66.1414369175156; Sun, 26 Oct 2014 17:19:35 -0700 (PDT) Received: by 10.152.21.133 with HTTP; Sun, 26 Oct 2014 17:19:35 -0700 (PDT) Date: Sun, 26 Oct 2014 17:19:35 -0700 Message-ID: From: Klaus Havelund To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a11c3f5d4443f0f05065c7c81 Subject: [Caml-list] NFM 2015 final call for papers --001a11c3f5d4443f0f05065c7c81 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable CALL FOR PAPERS The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 =E2=80=93 29 April 2015 Pasadena, California, USA Paper Submission: *** 10 Nov 2014 *** TOPICS Topics of interest include, but are not limited to: Model checking Theorem proving SAT and SMT solving Symbolic execution Static analysis Runtime verification Program refinement Compositional verification Modeling and specification formalisms Model-based development Model-based testing Requirement engineering Formal approaches to fault tolerance Security and intrusion detection Applications of formal methods to aerospace systems Applications of formal methods to cyber-physical systems Applications of formal methods to human-machine interaction analysis INVITED SPEAKERS Dino Distefano Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK. Viktor Kuncak Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland. Rob Manning Chief Engineer at NASA/JPL. IMPORTANT DATES Paper Submission: 10 Nov 2014 Paper Notifications: 12 Jan 2015 Camera-ready Papers: 9 Feb 2015 Symposium: 27 =E2=80=93 29 April 2015 PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Rajeev Joshi, NASA Jet Propulsion Laboratory PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit=C3=A4t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit=C3=A9 Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK --001a11c3f5d4443f0f05065c7c81 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
CALL FOR PAPERS
=
The 7th NASA Formal Methods Symposium

http://www.NASAFormalMethods.org/nfm2015=

27 =E2=80=93 29 April = 2015
Pasadena, California, USA

Paper Submission: = *** 10 Nov 2014 ***


TOPICS

T= opics of interest include, but are not limited to:
<= br style=3D"text-align:-webkit-auto;color:rgb(0,0,0);font-family:Courier;fo= nt-size:medium">Model checking
Theorem proving
= SAT and SMT solving
Symbolic exec= ution
Static analysis
Runtime verification
= Program refinement
Compositional verification
M= odeling and specification formalisms
Model-based development
Model= -based testing
Requirement engine= ering
Formal approaches to fault = tolerance
Security and intrusion = detection
Applications of formal = methods to aerospace systems
Appl= ications of formal methods to cyber-physical systems
Applications of formal methods to human-machine interac= tion analysis


INVITED SPEAKERS

Dino Distefano
So= ftware Engineer at Facebook, California, USA and Professor at Queen Mary Un= iversity of London, UK.

Viktor Kuncak
Leads Lab f= or Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland.<= br style=3D"text-align:-webkit-auto;color:rgb(0,0,0);font-family:Courier;fo= nt-size:medium">
Rob Manning
Chief Engineer at NASA/JPL.


IMPORTANT DATE= S

Paper Submissi= on: Paper Notifications= : = 12 Jan 2015
Camera-ready Papers:<= /span> 9 = Feb 2015
Symposium: =C2=A0=C2=A02= 7 =E2=80=93 29 April 2015


PC CHAIRS

Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Rajeev Joshi, NASA Jet Propulsion Labo= ratory


PROGRAMME COMMITTEE

Erika Abraham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel Baier, Technische Universit= =C3=A4t Dresden, Germany
Saddek B= ensalem, VERIMAG/UJF, France
Dirk= Beyer, University of Passau, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster University, Cana= da
Alessandro Cimatti, Fondazione= Bruno Kessler, Italy
Leonardo de= Moura, Microsoft Research, USA
E= wen Denney, NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler, Stanford University, USA
Jean-Christophe Filliatre, Universit=C3=A9 P= aris-Sud, France
Dimitra Giannako= poulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Susanne Graf, VERIMAG, France
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna University of Technology, A= ustria
John Harrison, Intel Corpo= ration, USA
Mike Hinchey, Univers= ity of Limerick/Lero, Ireland
Bar= t Jacobs, University of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford University, UK=
Orna Kupferman, Hebrew University Jerus= alem, Israel
Kim Larsen, Aalborg = University, Denmark
Rustan Leino,= Microsoft Research, USA
Martin L= eucker, University of Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
<= span style=3D"text-align:-webkit-auto;color:rgb(0,0,0);font-family:Courier;= font-size:medium">Pete Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switzerland<= br style=3D"text-align:-webkit-auto;color:rgb(0,0,0);font-family:Courier;fo= nt-size:medium">Kedar Namjoshi, Bell Labs/Alcatel-Lucent= , USA
Corina Pasareanu, NASA Ames= Research Center, USA
Doron Peled= , Bar Ilan University, Israel
Suz= ette Person, NASA Langley Research Center, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Rosu, University of Illinois, USA
Kristin Yvonne Rozier, NASA Ames Re= search Center, USA
Natarajan Shan= kar, SRI International, USA
Natas= ha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Brook University, USA
Willem Visser, University of Stellenbosch, South Af= rica
Mahesh Viswanathan, Universi= ty of Illinois, USA
Mike Whalen, = University of Minnesota, USA
Jim = Woodcock, University of York, UK

--001a11c3f5d4443f0f05065c7c81--