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 A88E35D4 for ; Fri, 6 Sep 2019 12:52:26 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,473,1559512800"; d="scan'208";a="400589698" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Sep 2019 14:52:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C92267EF90; Fri, 6 Sep 2019 14:52:24 +0200 (CEST) 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 8943A7EF5F for ; Fri, 6 Sep 2019 14:52:19 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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=3APnHZ7RFJLBLUWEPFg2WXUZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76p865bnLW6fgltlLVR4KTs6sC17OM9fm/CCdcvd6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6txjdu8sSjIdtJas8xQbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDE+7W/Xl9dwjLpFrx29uxxxzYnUYISPO/p/eKPWYNcWSGVFU8pUUSFKH4Gy?= =?us-ascii?q?YJYVD+cZPehWspfzqVgAoxSwCgajGOzhxyRUhnL1x6A2z/gtHA/E0QEmAtkAsG?= =?us-ascii?q?7UrNLwNKoKX+661rfIzTTeYPhL1zny9ozIchU7rvGXQLl9dtfexlMxFwPEk1qc?= =?us-ascii?q?s5HqMC2R1uQIqWeb9PFtVeaui24/qgx9uDavxt01h4TPm4kbxFfE9SBjz4Y0I9?= =?us-ascii?q?21UFV0Yd+4EJdKsyGbN5N6Qtg+Q25ypCY6y6EJtoS9fCcQzJQmxwXfa/2cc4SS?= =?us-ascii?q?5RLjTumRLS9mi31/Y7K+hwq98Ui6xe39TMm4ylFKrjBKktXUt3AN0QLc6tObRf?= =?us-ascii?q?th4EiuxSyD1xjP6uxCPEs6lrLbJoY8zrM+iJYfq1rPEjH0lUnsjaKaal8o9+a0?= =?us-ascii?q?5+j/YLjrpYWQO5Fphgz/KKgjntCzDf4lPgUMQWSW//m32qf58k3jWrpKi+U7kq?= =?us-ascii?q?nHv5DeIsQWvqm5AxRU0oY56ha/FC2q0NAZnXkfLV9JYhyHj5LxN1HPJvD3E+u/?= =?us-ascii?q?jkyxnDpl2fzKJKPtDovPI3TZkbrtYaxx5kBAxAYryNBQ/ZNUCrUPIPLpXU/xsc?= =?us-ascii?q?TVAQIjPAyqwuboFc9x2Z4AVmKLB6+WKrjSvESM5uIuO+mBZZUZuDjnK/Q9/f7h?= =?us-ascii?q?kWc5mUMBfamuxZYYdGq3HvFiI0mAZXrsg8wBEXsRswolTO3qjUWCXiRJa3azWa?= =?us-ascii?q?I8/DA7B5i8AYfNXID+yICGiSi3BNtZfmRuC1WFHjHmbcHMQOYKYSaKCs5niD0N?= =?us-ascii?q?E7a7D8cq0hS2tQvz17tgKK/S9zIDnZbiz8RuoeLdkgs9+Hp1Cd6c2ieDVSU81C?= =?us-ascii?q?dASCNz2a5k62R80FaY2O52mbgQGtBJovJMegg2L9vdyqp0EZS6UQvEepKNSU26?= =?us-ascii?q?atSgGzA4CNwrh5dEJw5yF8/nlR3IwjCrH7JTmbuRGZl+2qPG3mP4YchnmFjc06?= =?us-ascii?q?x0o1A4Q8cHGWCig6dkv1zfDpDInwOVmqKvfL802C/VqiGN1zzd7wljTAdsXPCd?= =?us-ascii?q?DjgkbUzMoIGltxqfHY/rMqwuN0568eDHKqZObYS331JdRe3iI5LaYnrv3WmqV0?= =?us-ascii?q?/RmuG8KbHycmBY5x3zTVAemlFB+Xeea04wHHX5+jOMPHlVDVvqJnjU36x7oXK/?= =?us-ascii?q?QFUzylDYa0x5ify74ExMiA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BOEACGVXJdlx4844RlghmDBQOBAoRLj?= =?us-ascii?q?wyBajSDXYtIiQJlgXsJAQMBDCMGAwECAQGGeBwGAQQwCQ4CDAEBBAEBAQIBAwM?= =?us-ascii?q?EARMBAQEBAQgWBoVeDII6DIMoBg8BBTAqHAImAmAMCAEBgx4BggoEAQqMcJtvg?= =?us-ascii?q?TIdhBkBhEuBSYEMKIt4gVg/gTgMgjGBcIFdAQGEbIJYBIxXkRWOTQeBNW5kBIF?= =?us-ascii?q?DhFKNbgYbgyOKRosShCyJUYcIeIIOgmOMG4FSghAzGieDOQgWgj2HSYEjTYR0P?= =?us-ascii?q?0sBbAEBj2sBAQ?= X-IPAS-Result: =?us-ascii?q?A0BOEACGVXJdlx4844RlghmDBQOBAoRLjwyBajSDXYtIiQJ?= =?us-ascii?q?lgXsJAQMBDCMGAwECAQGGeBwGAQQwCQ4CDAEBBAEBAQIBAwMEARMBAQEBAQgWB?= =?us-ascii?q?oVeDII6DIMoBg8BBTAqHAImAmAMCAEBgx4BggoEAQqMcJtvgTIdhBkBhEuBSYE?= =?us-ascii?q?MKIt4gVg/gTgMgjGBcIFdAQGEbIJYBIxXkRWOTQeBNW5kBIFDhFKNbgYbgyOKR?= =?us-ascii?q?osShCyJUYcIeIIOgmOMG4FSghAzGieDOQgWgj2HSYEjTYR0P0sBbAEBj2sBAQ?= X-IronPort-AV: E=Sophos;i="5.64,473,1559512800"; d="scan'208";a="318527940" X-MGA-submission: =?us-ascii?q?MDEVZbAKB8Oj5t2XcPc/HVUJmXxJLWnHc4wcDZ?= =?us-ascii?q?+EoyyRMnvUCjf1m3fK60myOmt5IrMl2NmPBxLXgrS7dClS3WMEQoHVJi?= =?us-ascii?q?F9RGoG9w3uz+V6ISCqEOMUGaEEz6IHVAi7La2Z/XclIrfZkWIPgORjhg?= =?us-ascii?q?WdQq8QVvRcD9zliAnMh24kjA=3D=3D?= Received: from osiris.lip6.fr ([132.227.60.30]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Sep 2019 14:52:18 +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 x86CqGnK013101; Fri, 6 Sep 2019 14:52:16 +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 048C132FC89; Fri, 6 Sep 2019 14:52:15 +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: Date: Fri, 6 Sep 2019 14:52:15 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3 (osiris.lip6.fr [132.227.60.30]); Fri, 06 Sep 2019 14:52:16 +0200 (CEST) X-Scanned-By: MIMEDefang 2.78 on 132.227.60.30 Subject: [Caml-list] TAPAS 2019 - Call for Participation - Register Early by Sep 10 Reply-To: David Delmas X-Loop: caml-list@inria.fr X-Sequence: 17796 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: ---------------------------------------------------------------------------                      CALL FOR PARTICIPATION                              TAPAS 2019  10th Workshop on Tools for Automatic Program Analysis     Part of the 3rd World Congress on Formal Methods                   Porto, Portugal, October 8, 2019 http://staticanalysis.org/tapas2019 --------------------------------------------------------------------------- ABOUT TAPAS 2019 is a satellite workshop of SAS 2019, the 26th Static Analysis Symposium. It is intended to promote discussions between users of static analysis tools, and specialists in all areas of program analysis design and implementation. REGISTRATION Register via the FM'19 World Congress at http://bit.ly/fm19-register: - Early until Sep 10 (AoE) - Late from Sep 11 until 5 Oct (AoE) - On site from Oct 6 to Oct 11 (AoE) INVITED TALKS - Pascal Lacabanne (Airbus) - Bernard Schmidt (Bosch) PROGRAM The conference program is available at https://easychair.org/smart-program/TAPAS2019/. FM'19 WORLD CONGRESS For additional information about the 3rd World Congress on Formal Methods, visit http://formalmethods2019.inesctec.pt/. Hope to see you in Porto! David Delmas, Program Chair