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 11F607F20B for ; Fri, 8 Feb 2013 08:02:25 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of owre@csl.sri.com) identity=pra; client-ip=128.18.84.132; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="owre@csl.sri.com"; x-sender="owre@csl.sri.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of owre@csl.sri.com) identity=mailfrom; client-ip=128.18.84.132; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="owre@csl.sri.com"; x-sender="owre@csl.sri.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@brightmail-internal3.sri.com) identity=helo; client-ip=128.18.84.132; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="owre@csl.sri.com"; x-sender="postmaster@brightmail-internal3.sri.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYIABahFFGAElSEkWdsb2JhbABFDsBlFg4BAQEBFBIUJzkCgWYGAQEaS00lD08JH4d7DMBDFYx0FYQ+A4hmoE9fgUUCHgY X-IPAS-Result: AhYIABahFFGAElSEkWdsb2JhbABFDsBlFg4BAQEBFBIUJzkCgWYGAQEaS00lD08JH4d7DMBDFYx0FYQ+A4hmoE9fgUUCHgY X-IronPort-AV: E=Sophos;i="4.84,627,1355094000"; d="scan'208";a="1492136" Received: from brightmail-internal3.sri.com ([128.18.84.132]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Feb 2013 07:54:55 +0100 X-AuditID: 80125484-b7f1a6d0000064e9-c4-5114a2fc2047 Received: from mx0.csl.sri.com (mx0.csl.sri.com [130.107.1.30]) (using TLS with cipher AES256-SHA (AES256-SHA/256 bits)) (Client did not present a certificate) by brightmail-internal3.sri.com (SRI Internal SMTP Gateway) with SMTP id F5.23.25833.CF2A4115; Thu, 7 Feb 2013 23:02:20 -0800 (PST) Received: from ubi (ubi.csl.sri.com [130.107.15.8]) by mx0.csl.sri.com (8.14.3/8.14.2) with ESMTP id r1872CSh069842 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO); Thu, 7 Feb 2013 23:02:12 -0800 (PST) (envelope-from owre@csl.sri.com) Received: from owre (helo=ubi) by ubi with local-esmtp (Exim 4.72) (envelope-from ) id 1U3hyO-0006LA-8n; Thu, 07 Feb 2013 23:02:12 -0800 To: acl2@utlists.utexas.edu, afsec@afsec.asr.cnrs.fr, amast@cs.utwente.nl, calculemus-ig@mathweb.org, caml-list@inria.fr, comlab@comlab.ox.ac.uk, concurrency@listserver.tue.nl, coq-club@pauillac.inria.fr, event@in.tu-clausthal.de, fmcad@utlists.utexas.edu, gdr-im@gdr-im.fr, hol-info@lists.sourceforge.net, isabelle-users@cl.cam.ac.uk, lics@research.bell-labs.com, lprolog@cs.umn.edu, matita@cs.unibo.it, mizar-forum@mizar.uwb.edu.pl, poplmark@lists.seas.upenn.edu, prog-lang@diku.dk, pvs@csl.sri.com, qpq-general@qpq.org, sal@csl.sri.com, strqds@laas.fr, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, types-list@lists.seas.upenn.edu, types-announce@lists.seas.upenn.edu, verimag-news@imag.fr, yices@csl.sri.com X-Mailer: MH-E 8.3.1; nmh 1.3; GNU Emacs 24.3.50 Date: Thu, 07 Feb 2013 23:02:12 -0800 Message-ID: <24375.1360306932@ubi> From: Sam Owre X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFprOIsWRmVeSWpSXmKPExsXSlM0op/tnkUigQedTdYujO1YyWsxZc4LV 4sb5PIuGrQcZLT7t2MBi8WHTPlaLXxfOsVo8n7mC2WL1lxtMFjf+PmS26D/1md3i1cXZLBYT FzcyWnQf8rD4+nYau8WX424WK57+Yrb4vPwqq0X3b1mLzW9XsFt8XTaf1WLXnWXsFrv/nGSy 6P/4isni0GQWi2XT37NbXHyzh81B2uNH1xUWj44TJR5bW4+zeNycYOex4IiPx6mGBWweU+42 MXv8eL2e1WPNhO+MHv8mL2LxOHasldmja7Kwx6QXh1g8Zv7Yweix69h+do/dCz4zBUhEcdmk pOZklqUW6dslcGVsbJ7CWjBdoeLjp9gGxutSXYycHBICJhJXdp1hg7DFJC7cWw9kc3EICaxi kljVfRjK+csocfLfK2YIZwajROeUbnYQR0TgHJvEzrYGsH5hAW2JCXu+M0LMMpB4cLibFcRm EVCVOHx5FguIzSugJDGj7ztYnE1AUaL51kLmCYzcCxgZVjHKJBVlpmeU5CZm5ujCIslYr7go Uy85P3cTIzC6GoRCWnYwrthleIhRgINRiYfX8rRKgBBrYllxZe4hRgkOZiURXtGZIoFCvCmJ lVWpRfnxRaU5qcWHGKU5WJTEecOM+f2FBNITS1KzU1MLUotgskwcnFINjG3XTh1b9nGzy7w3 AQ1BbXUdmfuFv28UcbKoaWbIvZ1+/8EdmUl13+V3rXi7/J725M3CUvtjbxjLhmY+zalf/fqd psuTKX5zpnom/2BZtnBBkfFkl/NtFn3qaTbrInbNLNhQp389ttW9T1Zs+Zl/lWvXLOte7BUe se5n/Imbd2bIf/zwIaVyKqcSS3FGoqEWc1FxIgAgSCU8qgIAAA== Subject: [Caml-list] VSTTE 2013 - Third call for papers CALL FOR PAPERS Fifth Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2013) May 17--19, 2013, Atherton, California [https://sites.google.com/site/vstte2013/] The Fifth IFIP Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), and Philadelphia (2012). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. Scope: We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Submission: We are accepting both long (limited to 20 pages) and short (limited to 12 pages) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers can be submitted at https://www.easychair.org/conferences/?conf=vstte2013. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2013 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer llncs class files, obtainable from http://www.springer.de/comp/lncs/authors.html, is strongly encouraged. Important Dates: Feb 22, 2013 (firm): Title/Abstract Mar 1, 2013 (firm): Full paper submission Mar 29, 2013: Decision May 17--19, 2013: Conference Jun 28, 2013 (firm): Camera-ready School/Workshops: The conference will be colocated with the Third Summer School on Formal Techniques, and is preceded by NFM 2013 at NASA Ames and followed by ICSE 2013 at San Francisco. Conference Chair: Natarajan Shankar, SRI International Program Chairs: Ernie Cohen, Microsoft, Andrey Rybalchenko, TU Munich Program Committee: Josh Berdine, Ahmed Bouajjani, Marsha Chechik, Jean-Christophe Filliatre, Silvio Ghilardi, Aarti Gupta, Arie Gurfinkel, Andrew Ireland, Ranjit Jhala, Cliff Jones, Rajeev Joshi, Gerwin Klein, Daniel Kroening, Gary Leavens, Xavier Leroy, Zhiming Liu, Pete Manolios, Tiziana Margaria, David Monniaux, Peter Mueller, David Naumann, Aditya Nori , Peter O'Hearn, Matthew Parkinson, Wolfgang Paul, Andreas Podelski, Zhong Shao, Willem Visser, Thomas Wies, Jim Woodcock, Kwangkeun Yi, Pamela Zave, Lenore Zuck Publicity Chair: Sam Owre, SRI International Steering Committee: Tony Hoare, Andrew Ireland, Jay Misra, Natarajan Shankar, Jim Woodcock