From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 8C7A55D4 for ; Mon, 1 Jul 2019 14:35:58 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,439,1557180000"; d="scan'208,217";a="389904563" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jul 2019 16:35:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3B62C824A7; Mon, 1 Jul 2019 16:35:57 +0200 (CEST) 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 EB968824A7 for ; Mon, 1 Jul 2019 16:35:54 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=david.delmas@lip6.fr; spf=Pass smtp.mailfrom=david.delmas@lip6.fr; spf=Pass smtp.helo=postmaster@osiris.lip6.fr IronPort-PHdr: =?us-ascii?q?9a23=3A4m8hHRXHzqHILQP2ScrMsTOqtp7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRWBtadThVPEFb/W9+hDw7KP9fy5Aypav93e7jhCKMUKC0Zcz5?= =?us-ascii?q?1O3kQJO42sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oLBWxsA7dqtQajZFtJ6os1BfFuGVEdu?= =?us-ascii?q?VZyW5qJF+YghLw6tut8JJ5/Clcpu8t+9RcXanmeqgzUKBVAikhP20p/sPgqAPN?= =?us-ascii?q?TRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CaVIcP5Q7Y0WS+/76hwUx/nlD?= =?us-ascii?q?0HNz8i/27JjMF7kb9Wrwigpxx7xI7UfZ2VOf9jda7TYd8WWWxMVdtWWCJcH4O8?= =?us-ascii?q?dJMPAPQdMuZEoYf9oF4OogG/BQmqGejjzjBFi3vz0aA8zu8vExzJ3BY4EtwOrX?= =?us-ascii?q?rastb7OqkcXu+60KbF1i/MY+9M1Drn9ITFfBIsrPeRVrxwa8rRzkwvGhvLgFqK?= =?us-ascii?q?t4zlPi6a3fkDvWeF6+pgUPigi3U6oAx2vzeg3NksiojUiY4P11/L6yF5wIMvKt?= =?us-ascii?q?2jU0N7Zd+kEINRui2AOYt2WNovTmd1syg0zb0GvIS0fCkMyJk/2RHfbeeHf5KG?= =?us-ascii?q?4hL5TOqROS13hG97eLKlmRm+60+gyvfzVsWsy1ZKsjBKksXNtn8RzRPT7NKISv?= =?us-ascii?q?99/0e62DaPzBrf6uZeIUA7jabbKpghwqQxlpUJq0jDEDX2lF3og6CMbUUl+vSn?= =?us-ascii?q?6+T9bbXnvJ+QLYh0ihvxMqg2gcy/Gf44MgkIX2iU5+u8zqfv8lH+QLVPlvE2j6?= =?us-ascii?q?/ZsIvUJMgBuKG2HhJV3pw55BaiFzum39UYnWUHLFJYYx2LlYnpO1bWLPDlC/e/?= =?us-ascii?q?gkqskC1xy/DHIr3tGpTNLn7dn7f6Ybl991BTxxYpwdBH+5JZDKwKLvHrWkLpqd?= =?us-ascii?q?DVAAE1Pxaqz+r5CthxzIITVX6VDqKXLK/eqV2F6+E1L+WSeYMYuSzxJvw56/L0?= =?us-ascii?q?kHM0m0ERcK+01pUNcn+4BO5pI0CBbHrsnNgBFWAKsxI5TOzxiV2CSz9TZ22oU6?= =?us-ascii?q?I45zE7EIOrAZ3NRoC3mLCB3SG7EYNKZm1eF1yBH2nke5+aV/sSai+eOM5sniAe?= =?us-ascii?q?WbWvV4MtzRSuuxX7y7pjIOrU4CoYtZf72ddo/eLTixAy+iFuA8uAzW6NS2R0kX?= =?us-ascii?q?kTRzIt2KB/oFR9x1aZ3ah2mfxUDcZT6O9RUgcmKZ7cyPR3C8vyWwLHZNiJTE6m?= =?us-ascii?q?T869ATAxS9Ix28UBb1x8G9WklBDD3jClD6Ubl7yRV9QI9ffT02K3KN5543fD3a?= =?us-ascii?q?ZngUNiCtBeM2SinoZ+8RLSDsjHiQHRnKGvbaUY1TLM82HGy2eRp2lcURVsSuPK?= =?us-ascii?q?U3cFaUaQrNLj50qEQaXqQbs7dw5P0uaDMKpRY5vnlxEOS/v5fdXbS229gSKxAF?= =?us-ascii?q?CG3PfEZ4PvfyAZ3T7BIEkCiQEau3iccUAxCj3kuG/VESZvCV+pbUT27OxWqWm6?= =?us-ascii?q?VUZywRvZQVdm0u+Z8wAUibSwRvcW16lM7CsotTR4Wlqw29ffEPKEphI/OqtGN4?= =?us-ascii?q?BuqGxb3H7U4lQudqerKLpv0wJPKlkljwbVzxxyT754v40qoXctlVQgLrmZylJa?= =?us-ascii?q?MTeZxc62NKeFczCuriDqULbf3xTl6PjT4r0GuaY8qk29+g+zRBJ7oidXluJN2n?= =?us-ascii?q?7Z3a3kSQ8bUJb/SEEypkp+pqmEJCcntdrZ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AdBAAqGRpdhx4844RlFoUEgQQohB2VE?= =?us-ascii?q?oJ7VoQ1hwSIdIIJA1QJAQMBDCUHAQIBAYFLhXkcBgEENBMBAwEBBAEBAgECAwE?= =?us-ascii?q?TAQEBCgsJCCmKPgyCOgyDKAZFZwcCYAwIAQGDHgGCCgQBCqUJgTIfiFiBRoE0i?= =?us-ascii?q?1+BVz+BESeDKYEEgUQOCwEBAhiBIIMxglgEiX2CEY5Pj1IHAoExZ10EgT6DLoE?= =?us-ascii?q?GjSEGG4IrbIYvg2WKPo0whmFYhFGBK4oWgT0qgXkzGidMgm0IgUCBEh2BdIFGg?= =?us-ascii?q?T6BJgqCJk2EdD4zAYEEAQGLMIJSAQE?= X-IPAS-Result: =?us-ascii?q?A0AdBAAqGRpdhx4844RlFoUEgQQohB2VEoJ7VoQ1hwSIdII?= =?us-ascii?q?JA1QJAQMBDCUHAQIBAYFLhXkcBgEENBMBAwEBBAEBAgECAwETAQEBCgsJCCmKP?= =?us-ascii?q?gyCOgyDKAZFZwcCYAwIAQGDHgGCCgQBCqUJgTIfiFiBRoE0i1+BVz+BESeDKYE?= =?us-ascii?q?EgUQOCwEBAhiBIIMxglgEiX2CEY5Pj1IHAoExZ10EgT6DLoEGjSEGG4IrbIYvg?= =?us-ascii?q?2WKPo0whmFYhFGBK4oWgT0qgXkzGidMgm0IgUCBEh2BdIFGgT6BJgqCJk2EdD4?= =?us-ascii?q?zAYEEAQGLMIJSAQE?= X-IronPort-AV: E=Sophos;i="5.63,439,1557180000"; d="scan'208,217";a="389904538" X-MGA-submission: =?us-ascii?q?MDFGZL0xLIcmiRVAHJkjmyIN75+QOJm+NB39vQ?= =?us-ascii?q?IKK13KW4QTvmWzhvUXjdFYNZR8+Nth4IXLXQao6jdNfw7Qwqjf3HdJSM?= =?us-ascii?q?XPKzRxObTlSKleyg5cLufJ05rRaZHEPNgloUG9zGUubdXx+yiN/FOzjw?= =?us-ascii?q?Ga82xw/T48WTZV6OmEc9w20g=3D=3D?= Received: from osiris.lip6.fr ([132.227.60.30]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Jul 2019 16:35:54 +0200 Received: from poleia.lip6.fr (poleia.lip6.fr [132.227.201.8]) by osiris.lip6.fr (8.15.2/8.15.2) with ESMTP id x61EZook029060; Mon, 1 Jul 2019 16:35:50 +0200 (CEST) Received: from [192.168.100.5] (leg31-2-78-216-90-172.fbx.proxad.net [78.216.90.172]) by poleia.lip6.fr (Postfix) with ESMTPSA id 997C6672AD1; Mon, 1 Jul 2019 16:35:49 +0200 (CEST) From: David Delmas To: gdr.gpl@imag.fr, synalp@inria.fr, compilation-news@lists.gforge.inria.fr, gt-mfs@irisa.fr, gdr-im@gdr-im.fr, caml-list@inria.fr, gdr-securite.forum@irisa.fr Message-ID: <1c08d7e1-f52c-e245-4d84-233238a53265@lip6.fr> Date: Mon, 1 Jul 2019 16:35:46 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------77171CA04AC02B25D8AD2D60" Content-Language: en-US X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3 (osiris.lip6.fr [132.227.60.30]); Mon, 01 Jul 2019 16:35:50 +0200 (CEST) X-Scanned-By: MIMEDefang 2.78 on 132.227.60.30 Subject: [Caml-list] [TAPAS 2019] 2nd Call for Papers (extended deadline): 10th Workshop on Tools for Automatic Program Analysis Reply-To: David Delmas X-Loop: caml-list@inria.fr X-Sequence: 17664 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This is a multi-part message in MIME format. --------------77171CA04AC02B25D8AD2D60 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit *[apologies for crossposting]* online version: https://easychair.org/cfp/tapas2019 ------------------------------------------------------------ 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019) 8 October 2019, Porto, Portugal. A satellite workshop of SAS 2019 . Part of the 3rd World Congress on Formal Methods . Important Dates * Submission deadline: 4 July *18 **July****2019****(extended)* * Notification of acceptance: 2 August *15****August* * Final version due: 31 August *8 September* * Workshop: 8 October * Post-proceedings due: 15 November (tentative) Publication Revised versions of selected papers will be published after the workshop by Springer in a volume of its Lecture Notes in Computer Science (LNCS) , which will collect contributions to some workshops and symposia co-located with FM 2019 . The workshop will also have informal proceedings, posted on its web page. Objectives In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between users of static analysis tools and specialists in all areas of program analysis design and implementation. Scope The technical program of TAPAS 2019 will consist of invited lectures, together with presentations based on submitted papers or abstracts. Submissions can cover any aspect of program analysis tools including, but not limited to the following: * design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance) * components of static analysis tools (front-ends, abstract domains, etc.) * integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.) * reusable software infrastructure (analysis algorithms and frameworks) * experience reports on the use of static analyzers (both research prototypes and industrial tools) This workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations. Submission Guidelines TAPAS 2019 welcomes the following categories of submissions: * Regular papers (12-15+ pages) * Short papers (6-8+ pages) * Extended abstracts (2 pages) Please use the LNCS style , and submit via the TAPAS 2019 author interface of EasyChair . Program Committee * David Delmas , Airbus and Sorbonne Université, France (chair) * Fausto Spoto , Università di Verona, Italy * Caterina Urban , Inria, France * Franck Vedrine, CEA LIST, France * Jules Villard , Facebook, UK * Jingling Xue , University of New South Wales, Australia * Tomofumi Yuki , Inria, France * Sarah Zennou, Airbus, France --------------77171CA04AC02B25D8AD2D60 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit

[apologies for crossposting]

online version: https://easychair.org/cfp/tapas2019

------------------------------------------------------------

10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019)

8 October 2019, Porto, Portugal.

A satellite workshop of SAS 2019. Part of the 3rd World Congress on Formal Methods.

Important Dates

  • Submission deadline: 4 July 18 July 2019 (extended)
  • Notification of acceptance: 2 August 15 August
  • Final version due: 31 August 8 September
  • Workshop: 8 October
  • Post-proceedings due: 15 November (tentative)

Publication

Revised versions of selected papers will be published after the workshop by Springer in a volume of its Lecture Notes in Computer Science (LNCS), which will collect contributions to some workshops and symposia co-located with FM 2019.

The workshop will also have informal proceedings, posted on its web page.

Objectives

In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools.

This workshop is intended to promote discussions and exchange experience between users of static analysis tools and specialists in all areas of program analysis design and implementation.

Scope

The technical program of TAPAS 2019 will consist of invited lectures, together with presentations based on submitted papers or abstracts.

Submissions can cover any aspect of program analysis tools including, but not limited to the following:

  • design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance)
  • components of static analysis tools (front-ends, abstract domains, etc.)
  • integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.)
  • reusable software infrastructure (analysis algorithms and frameworks)
  • experience reports on the use of static analyzers (both research prototypes and industrial tools)

This workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.

Submission Guidelines

TAPAS 2019 welcomes the following categories of submissions:

  • Regular papers (12-15+ pages)
  • Short papers (6-8+ pages)
  • Extended abstracts (2 pages)

Please use the LNCS style, and submit via the TAPAS 2019 author interface of EasyChair.

Program Committee

--------------77171CA04AC02B25D8AD2D60--