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 BB2397FF1D for ; Tue, 18 Oct 2016 02:23:45 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rody.kersten@sv.cmu.edu; spf=Pass smtp.mailfrom=rody.kersten@west.cmu.edu; spf=None smtp.helo=postmaster@mail-pa0-f47.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rody.kersten@sv.cmu.edu) identity=pra; client-ip=209.85.220.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="rody.kersten@sv.cmu.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rody.kersten@west.cmu.edu designates 209.85.220.47 as permitted sender) identity=mailfrom; client-ip=209.85.220.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="rody.kersten@west.cmu.edu"; 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-pa0-f47.google.com) identity=helo; client-ip=209.85.220.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="postmaster@mail-pa0-f47.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AsoZnnB+t3HYlR/9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?1ewcTK2v8tzYMVDF4r011RmSDN+dtqkP0bqempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1Ek?= =?us-ascii?q?fKKoQcWI34ye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicu?= =?us-ascii?q?VSwn50dxrIx06vrvqq+NZf1wgY+7d4r48TZ4yhJ/19FeUQTG17cjN92Mq+rx7P?= =?us-ascii?q?XE2M62EHTmgQugFWRQPA8Vf3UoqinDH9s79H3yWLde77V6soVDLqu71sRA6uiy?= =?us-ascii?q?odLCI09knMlIp7ib8drR688U8si7XIaZ2YYaItNpjWeskXEDdM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AXAQDAagVYhy/cVdFRCg4PAQUBCwEXA?= =?us-ascii?q?QEEAQEKAQGCXDUBAQEBAXQqQwEBDY00qz6CCSeHZjgUAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCA0JCRkvgjIEAwMVgikLBh0BASYSUgoCNgEFAS8IAQEQBweIMA6ne4EyPjKKW?= =?us-ascii?q?2eESQEBBYUIBoM0BAUQhi2BfYQUgl0GCwGCaAstgluIQYZ7ik+BZYRDi0qEZ4M?= =?us-ascii?q?GDoYMjHuCPjGBER56gjoBCwE2HIEnW1IBhmB4gSgBAQE?= X-IPAS-Result: =?us-ascii?q?A0AXAQDAagVYhy/cVdFRCg4PAQUBCwEXAQEEAQEKAQGCXDU?= =?us-ascii?q?BAQEBAXQqQwEBDY00qz6CCSeHZjgUAQEBAQEBAQEBAQESAQEBCA0JCRkvgjIEA?= =?us-ascii?q?wMVgikLBh0BASYSUgoCNgEFAS8IAQEQBweIMA6ne4EyPjKKW2eESQEBBYUIBoM?= =?us-ascii?q?0BAUQhi2BfYQUgl0GCwGCaAstgluIQYZ7ik+BZYRDi0qEZ4MGDoYMjHuCPjGBE?= =?us-ascii?q?R56gjoBCwE2HIEnW1IBhmB4gSgBAQE?= X-IronPort-AV: E=Sophos;i="5.31,359,1473112800"; d="scan'208,217";a="197097835" Received: from mail-pa0-f47.google.com ([209.85.220.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Oct 2016 02:23:43 +0200 Received: by mail-pa0-f47.google.com with SMTP id rz1so66306434pab.1 for ; Mon, 17 Oct 2016 17:23:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sv.cmu.edu; s=google; h=to:from:subject:message-id:date:user-agent:mime-version; bh=Clf2IS81tCmeiPeumxUYBDFnv1wGYdGbUQ8s3odijms=; b=Yu5+rGC8PCtUdUIIEa2ddPMIUAaXU/ELnwPM0dNC2TGZ4oM6JbZx1Kx5KjOj3cnbqV qVsDoFTLDN5YEtY0JnTYTMu1Wvs7djb7jD431WSOAgaV2YJQ1tIfkNtJ6EsNI978T8ia UBugZSPcEXQdbFcd7pUyeESmYwqv6T35sfrys= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version; bh=Clf2IS81tCmeiPeumxUYBDFnv1wGYdGbUQ8s3odijms=; b=GL4G8zDAWzSVQyX91PdZBYpvh0utacSQlYjiy3SqLh+mcEphSC6Q4VkVeJaDl6p52l eonpteXnSiVRjbUkFfcrgRJxO7RD6f2f2M7QMUDoKTQ5KmDs4VBwnFLrKZJ2ul5FjgJp qSfQy/YmiTgJMrbT5eK2TYIpDtvTbWL8fUoE1Bw6zJzjqyMRduZFWMF79kkb7HsbV2us JAPkJdRINeUWnRH4/M7xUBRHbLXgIXlWEKNGXbUpTweLf7Reh8ZRt6/Q/lRB/4WjW8mz 6CZ+lcXqkuVbY0+yGhPwBSo+Skfouw9qhO6sUQlh06bz4SGWqj0X7/EpI/CA5jutK3cQ O3uA== X-Gm-Message-State: AA6/9RlRQB/DKy91HR5O+cFROuY+nAzDuf1vhcx51SxJ7THqjFoYMb5/5TC83QPyFlKi4zQk X-Received: by 10.66.138.40 with SMTP id qn8mr208523pab.33.1476750221708; Mon, 17 Oct 2016 17:23:41 -0700 (PDT) Received: from [172.29.93.227] (nat-cmu-secure.sv.cmu.edu. [209.129.244.192]) by smtp.gmail.com with ESMTPSA id cp2sm18265092pad.3.2016.10.17.17.23.37 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 17 Oct 2016 17:23:40 -0700 (PDT) To: rody.kersten@sv.cmu.edu From: Rody Kersten Message-ID: Date: Mon, 17 Oct 2016 17:23:37 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------D50C7E803F7E36628EA47BFD" Subject: [Caml-list] NFM 2017 - Call For Workshops This is a multi-part message in MIME format. --------------D50C7E803F7E36628EA47BFD Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit NFM 2017 - Call For Workshops The 9th NASA Formal Methods Symposium ------------------------------------- https://ti.arc.nasa.gov/events/nfm-2017/workshops/ May 16 - 18, 2017 NASA Ames Research Center Moffett Field, CA, USA The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM’s goals are to identify challenges and to provide solutions for achieving assurance for mission-critical and safety-critical systems at NASA and in the aerospace industry. NFM Workshops provide an opportunity for participants to discuss specific topics relevant to the NASA Formal Methods community in more depth. NFM 2017 Workshops will be held before (or after) the main symposium, on May 15 (or May 19). Workshop proposals will be reviewed by the organizing committee together with members of the steering committee. Proposals must consist of the following two parts: Part I: Technical Information A short (about 1 page) scientific justification of the proposed topic, its significance and relevance to NFM, and the particular benefits of the workshop to the verification community, as well as a list of previous or related workshops (if relevant). Part II: Organizational Information * contact information of the workshop organizers. * a main contact for the workshop (i.e. a workshop chair). * the desired length of the workshop, (one or two days). * an estimate of the audience size. * proposed format and agenda (for example, demo sessions, tutorials, etc.). * potential invited speakers. * procedures for selecting papers and participants. * plans for dissemination, if any (for example, special issues of journals). * special technical, AV, or USB stick needs. * links to a preliminary website of the workshop and call for papers (if possible). * information if workshop has been previously held. *Important Dates: *Proposals are due by November 7th by email to the Organizing Committee. Decisions will be announced by November 14th, 2016. The workshop proposals will be reviewed and evaluated on the following criteria: * Potential to advance the state of the art in verification technologies, especially ability to break new ground. * Relevance to NFM. * Overlap with topics of other proposed workshops. * Past successes of the workshop and association with other formal methods conferences. * Organizers' ability and experience to lead a successful workshop. All accepted workshops will be asked to provide a webpage, call for papers, and list of invited speakers. For further enquiries or information, please contact: Temesghen Kahsai (temesghen DOT kahsaiazene AT nasa DOT gov) -- NASA Ames / CMU Clark Barrett (barrett AT cs DOT stanford DOT edu) -- Stanford University --------------D50C7E803F7E36628EA47BFD Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit

NFM 2017 - Call For Workshops
The 9th NASA Formal Methods Symposium
-------------------------------------
https://ti.arc.nasa.gov/events/nfm-2017/workshops/
May 16 - 18, 2017
NASA Ames Research Center
Moffett Field, CA, USA


The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM’s goals are to identify challenges and to provide solutions for achieving assurance for mission-critical and safety-critical systems at NASA and in the aerospace industry.

NFM Workshops provide an opportunity for participants to discuss specific topics relevant to the NASA Formal Methods community in more depth. NFM 2017 Workshops will be held before (or after) the main symposium, on May 15 (or May 19). Workshop proposals will be reviewed by the organizing committee together with members of the steering committee. Proposals must consist of the following two parts:

Part I: Technical Information

 A short (about 1 page) scientific justification of the proposed topic, its significance and relevance to NFM, and the particular benefits of the workshop to the verification community, as well as a list of previous or related workshops (if relevant).

Part II: Organizational Information
  • contact information of the workshop organizers.
  • a main contact for the workshop (i.e. a workshop chair).
  • the desired length of the workshop, (one or two days).
  • an estimate of the audience size.
  • proposed format and agenda (for example, demo sessions, tutorials, etc.).
  • potential invited speakers.
  • procedures for selecting papers and participants.
  • plans for dissemination, if any (for example, special issues of journals).
  • special technical, AV, or USB stick needs.
  • links to a preliminary website of the workshop and call for papers (if possible).
  • information if workshop has been previously held.
Important Dates:

Proposals are due by November 7th by email to the Organizing Committee. Decisions will be announced by November 14th, 2016.

The workshop proposals will be reviewed and evaluated on the following criteria:
  • Potential to advance the state of the art in verification technologies, especially ability to break new ground.
  • Relevance to NFM.
  • Overlap with topics of other proposed workshops.
  • Past successes of the workshop and association with other formal methods conferences.
  • Organizers' ability and experience to lead a successful workshop.
All accepted workshops will be asked to provide a webpage, call for papers, and list of invited speakers.

For further enquiries or information, please contact:

 Temesghen Kahsai (temesghen DOT kahsaiazene AT nasa DOT gov)  -- NASA Ames / CMU

Clark Barrett (barrett AT cs DOT stanford DOT edu) -- Stanford University
--------------D50C7E803F7E36628EA47BFD--