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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D87367EEAF for ; Mon, 28 Jan 2013 17:53:55 +0100 (CET) Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: AnMCAOWsBlGAnPnlkWdsb2JhbABEgmuyVYkUFg4BAQEBFBIUJ4IgBgEBGikIAhgGDgMBAgYCRAQIAwEkCT8FGASHcAELv3yNCoM6YQOIYYp+g0qEPI4IgU4 X-IPAS-Result: AnMCAOWsBlGAnPnlkWdsb2JhbABEgmuyVYkUFg4BAQEBFBIUJ4IgBgEBGikIAhgGDgMBAgYCRAQIAwEkCT8FGASHcAELv3yNCoM6YQOIYYp+g0qEPI4IgU4 X-IronPort-AV: E=Sophos;i="4.84,553,1355094000"; d="scan'208,217";a="334006" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Jan 2013 17:53:54 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 3F7B9601859; Mon, 28 Jan 2013 11:52:30 -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 bw7mvcR4uO0V; Mon, 28 Jan 2013 11:52:30 -0500 (EST) Received: from lists.nasa.gov (unknown [IPv6:::1]) by lists.nasa.gov (Postfix) with ESMTP id 415906017DD; Mon, 28 Jan 2013 11:52:27 -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 58471601786 for ; Mon, 28 Jan 2013 11:52: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 EYKzr7xiQXWz for ; Mon, 28 Jan 2013 11:52:25 -0500 (EST) Received: from mail.jpl.nasa.gov (mailhost.jpl.nasa.gov [128.149.139.105]) by lists.nasa.gov (Postfix) with ESMTP id 212D56006F7 for ; Mon, 28 Jan 2013 11:52:23 -0500 (EST) Received: from dhcp-137-78-185-83.jpl.nasa.gov (dhcp-137-78-185-83.jpl.nasa.gov [137.78.185.83]) (authenticated (0 bits)) by smtp.jpl.nasa.gov (Sentrion-MTA-4.2.2/Sentrion-MTA-4.2.2) with ESMTP id r0SGqM1E011981 (using TLSv1/SSLv3 with cipher AES128-SHA (128 bits) verified NO) for ; Mon, 28 Jan 2013 08:52:22 -0800 From: Klaus Havelund Date: Mon, 28 Jan 2013 08:52:21 -0800 Message-Id: <03D843C4-7132-4C94-B4DC-A607867A6D98@jpl.nasa.gov> To: fm-announcements@lists.nasa.gov Mime-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) 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="===============8886880920791981667==" 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] Call for Papers: Runtime Verification 2013 --===============8886880920791981667== Content-Type: multipart/alternative; boundary="Apple-Mail=_105B4E84-54EB-4858-AF3D-0B7C7E2C6495" --Apple-Mail=_105B4E84-54EB-4858-AF3D-0B7C7E2C6495 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii Apologies should you receive multiple copies of this email: CALL FOR PAPERS RV'13 Fourth International Conference on Runtime Verification INRIA Rennes, France 24-27 September 2013 http://rv2013.gforge.inria.fr/ RV'13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013. IMPORTANT DATES Abstract submission: 28 April 2013 Paper submission: 5 May 2013 Notification: 17 June 2013 Final version: 15 July 2013 SCOPE Runtime verification is concerned with monitoring and analysis of soft- ware and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are signif- icantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for verification and debugging purposes, and after deployment for ensuring reliability, safety and security, and for providing fault containment and recovery. TOPICS - specification languages and formalisms for traces - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - fault detection, localization, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization PUBLICATION The RV'13 proceedings will be published as a volume of the LNCS series at Springer. Submission of papers to RV'13 is handled through EasyChair. The submission link is https://www.easychair.org/conferences/?conf=rv13 For more information, see http://rv2013.gforge.inria.fr/ --Apple-Mail=_105B4E84-54EB-4858-AF3D-0B7C7E2C6495 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii

Apolog= ies should you receive multiple copies of this email:

  &n= bsp;            = ;         CALL FOR PAPERS
<= br>            =             &nb= sp;    RV'13
      &nb= sp;       Fourth International Conferenc= e on
           &= nbsp;         Runtime Verifica= tion

          &nb= sp;          INRIA Rennes= , France
          &nb= sp;          24-27 Septem= ber 2013

          = ;      http://rv2013.gforge.inria.fr/


RV'13, the Fourth Intern= ational Conference on Runtime Verification,
will take place at INRIA Ren= nes, France, from 24 to 27 September 2013.

IMPORTANT DATES

Ab= stract submission: 28 April 2013
Paper submission: 5 May 2013
Notific= ation: 17 June 2013
Final version: 15 July 2013

SCOPE

Runt= ime verification is concerned with monitoring and analysis of soft-
ware= and hardware system executions.  Runtime verification techniques
a= re crucial for system correctness and reliability; they are signif-
ican= tly more powerful and versatile than conventional testing, and more
prac= tical than exhaustive formal verification.  Runtime verification canbe used prior to deployment, for verification and debugging purposes,
= and after deployment for ensuring reliability, safety and security,
and = for providing fault containment and recovery.

TOPICS

- specif= ication languages and formalisms for traces
- specification mining
- = program instrumentation
- monitor construction techniques
- logging, = recording, and replay
- fault detection, localization, recovery and repa= ir
- program steering and adaptation
- metrics and statistical inform= ation gathering
- combination of static and dynamic analyses
- progra= m execution visualization

PUBLICATION

The RV'13 proceedings w= ill be published as a volume of the LNCS series
at Springer.  Submi= ssion of papers to RV'13 is handled through EasyChair.
The submission li= nk is h= ttps://www.easychair.org/conferences/?conf=3Drv13

For more infor= mation, see http://rv2013.g= forge.inria.fr/


= --Apple-Mail=_105B4E84-54EB-4858-AF3D-0B7C7E2C6495-- --===============8886880920791981667== 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 --===============8886880920791981667==--