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 2C4717EE49 for ; Thu, 21 Feb 2013 00:00:26 +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: AgYMAFxUJVGAElSEkWdsb2JhbABFDsFYFg4BAQEBFBIUCh05AoFmBgEBGktNJQ9PCR+HfAzAPRWNHRWFDgOIZqBpYIFIAh4G X-IPAS-Result: AgYMAFxUJVGAElSEkWdsb2JhbABFDsFYFg4BAQEBFBIUCh05AoFmBgEBGktNJQ9PCR+HfAzAPRWNHRWFDgOIZqBpYIFIAh4G X-IronPort-AV: E=Sophos;i="4.84,705,1355094000"; d="scan'208";a="2915404" Received: from brightmail-internal3.sri.com ([128.18.84.132]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Feb 2013 00:00:23 +0100 X-AuditID: 80125484-b7f1a6d0000064e9-0f-51255585e414 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 CF.CA.25833.58555215; Wed, 20 Feb 2013 15:00:21 -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 r1KN0FCY047436 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO); Wed, 20 Feb 2013 15:00:15 -0800 (PST) (envelope-from owre@csl.sri.com) Received: from owre (helo=ubi) by ubi with local-esmtp (Exim 4.72) (envelope-from ) id 1U8Ie7-0008AP-2F; Wed, 20 Feb 2013 15:00:15 -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-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: Wed, 20 Feb 2013 15:00:14 -0800 Message-ID: <31396.1361401214@ubi> From: Sam Owre X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFprEIsWRmVeSWpSXmKPExsXSlM0op9saqhposPGMisXRHSsZLeasOcFq ceN8nkXD1oOMFp92bGCx+LBpH6vFrwvnWC2ez1zBbLH6yw0mixt/HzJb9J/6zG7x6uJsFouJ ixsZLboPeVh8fTuN3eLLcTeLFU9/MVt8Xn6V1aL7t6zF5rcr2C2+LpvParHrzjJ2i91/TjJZ 9H98xWRxaDKLxcU3e9gcpDx+dF1h8eg4UeKxtfU4i8fNCXYeC474eJxqWMDmMeVuE7PHj9fr WT3WTPjO6PFv8iIWj2PHWpk9uiYLe0x6cYjFY+aPHYweu47tZ/fYveAzU4BEFJdNSmpOZllq kb5dAlfGuitzGQvWKFZ8XraSuYFxvXQXIyeHhICJxPYZrxkhbDGJC/fWs3UxcnEICaxikujZ uoIFwvnHKNG2eQszhDODUeLr2T1MIC0iAmvZJBbtjgexhQWMJOadPsIEMcpA4sHhblYQm0VA VeLz6clgK3gFlCQWdbaD1bAJKEo031rIPIGRewEjwypGmaSizPSMktzEzBxdWPwY6xUXZeol 5+duYgTGVINQSMsOxhW7DA8xCnAwKvHwWp5WCRBiTSwrrsw9xCjBwawkwvuzQyVQiDclsbIq tSg/vqg0J7X4EKM0B4uSOG+YMb+/kEB6YklqdmpqQWoRTJaJg1OqgVG97Zb2WZ8VK2v+/Wmc LZHR2SKr/nVBtH9dkGhHyd4F0Vrz42/+6r/xVeEWZ9DvAkVd5Yjd0cwzxDl+Grh2Xw2703Cp dWlJRGiHQmXywlf6P1WLW56/1v/A9/BDaCXz1y/HWbyXf2kMstQS/W31Pf4L2wS2s1vZ9cL6 5yb6qO/x3Xo0O01qghJLcUaioRZzUXEiAGWELOGlAgAA Subject: [Caml-list] VSTTE 2013 - Last CFP - Extended Deadline 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/] Last Call for Papers - Extended Deadline Feb 27, 2013: Title/Abstract Mar 6, 2013: Full paper submission 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 27, 2013 (firm): Title/Abstract Mar 6, 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