From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q4AH96L2005408 for ; Thu, 10 May 2012 19:09:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscBAGL1q0+AnPnlmWdsb2JhbABEtBIiAQEBAQEICwsHFCeCFwYBARodDAgCGAYECgMBAgYCQAQECAMBJAk/BRgEh227XosShUZjBIhkimuDP4RRjWeBPw X-IronPort-AV: E=Sophos;i="4.75,565,1330902000"; d="scan'208";a="157891370" Received: from lists.nasa.gov ([128.156.249.229]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 May 2012 19:08:59 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id AAA28602581; Thu, 10 May 2012 13:07:31 -0400 (EDT) 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 Oxp+lsU4Qfto; Thu, 10 May 2012 13:07:31 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id A34586024B5; Thu, 10 May 2012 13:07:28 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 84F6F6014F4 for ; Thu, 10 May 2012 13:07:26 -0400 (EDT) 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 fdZo6883OF20 for ; Thu, 10 May 2012 13:07:26 -0400 (EDT) Received: from mail.jpl.nasa.gov (smtp.jpl.nasa.gov [128.149.139.105]) by lists.nasa.gov (Postfix) with ESMTP id 50A1F601481 for ; Thu, 10 May 2012 13:07:25 -0400 (EDT) Received: from dhcp-128-149-176-148.jpl.nasa.gov (dhcp-128-149-176-148.jpl.nasa.gov [128.149.176.148]) (authenticated (0 bits)) by smtp.jpl.nasa.gov (Sentrion-MTA-4.2.2/Sentrion-MTA-4.2.2) with ESMTP id q4AH7OZC026489 (using TLSv1/SSLv3 with cipher AES128-SHA (128 bits) verified NO) for ; Thu, 10 May 2012 10:07:24 -0700 From: Klaus Havelund Date: Thu, 10 May 2012 10:07:24 -0700 Message-Id: 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 Precedence: list List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit 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: RV 2012 International Conference on Runtime Verification (RV 2012) September 25 - 28, 2012 Istanbul, Turkey at the Koc University Research Center for Anatolian Civilizations in Pera http://rv2012.ku.edu.tr SCOPE Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly 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 of interest to the conference include: - 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 Application areas of runtime verification include safety-critical systems ranging from enterprise and systems software, to autonomous and reactive control systems, to health management and diagnosis systems, to security. HISTORY The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. In year 2010, RV became an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org. INVITED SPEAKERS - Jim Larus (Principal Researcher, Microsoft Research) - Martin Rinard (Professor, Department of Electrical Engineering and Computer Science, MIT) - Giovanni Vigna (Professor, Department of Computer Science, UCSB) INVITED TUTORIALS - Stephen N. Freund, John Erickson and Madan Musuvathi: Dynamic analysis of concurrency - Cristian Cadar and Koushik Sen: Symbolic execution PAPER SUBMISSION RV will have three paper categories: regular and short papers, and tool demonstration papers. Papers in all categories will be reviewed by the conference Program Committee. - Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award will be offered. - Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions. - Tool demonstration papers (up to 5 pages) should briefly introduce the problem solved by the tool and give the outline of the demonstration. A Best Tool Award will be offered. All accepted papers, including short papers and tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'12 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page will be made available on the RV'12 web page. IMPORTANT DATES May 27, 2012 - Abstract submission June 3, 2012 - Paper submission July 29, 2012 - Author notification August 19, 2012 - Camera-ready September 25, 2012 - Tutorial Day September 26-28, 2012 - Conference ORGANIZERS General Chair: Serdar Tasiran (Koc University, Istanbul, Turkey) Program Chair: Shaz Qadeer (Microsoft Research, Redmond, WA, USA) PROGRAMME COMMITTEE Howard Barringer, Manchester University Saddek Bensalem, VERIMAG Eric Bodden, EC SPRIDE Cristian Cadar, Imperial College Ylies Falcone, University of Grenoble Bernd Finkbeiner, Saarland University Stephen Freund, Williams College Ganesh Gopalakrishnan, University of Utah Wolfgang Grieskamp, Google Sylvain Halle, Universite du Quebec a Chicoutimi Klaus Havelund, NASA Jet Propulsion Laboratory Suresh Jagannathan, Purdue University Sarfraz Khurshid, University of Texas at Austin Martin Leucker, University of Luebeck Benjamin Livshits, Microsoft Shan Lu, University of Wisconsin Rupak Majumdar, MPI-SWS Oded Maler, VERIMAG Sharad Malik, Princeton University Atif Memon, University of Maryland Peter Muller, ETH Zurich Shaz Qadeer, Microsoft Venkatesh-Prasad Ranganath, Microsoft Vivek Sarkar, Rice University Koushik Sen, University of California at Berkeley Oleg Sokolsky, University of Pennsylvania Serdar Tasiran, Koc University Stavros Tripakis, University of California at Berkeley Martin Vechev, ETH Zurich Willem Visser, Stellenbosch University Zheng Zhang, Microsoft --- 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