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 CFD725D4 for ; Tue, 2 Jul 2019 12:58:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,443,1557180000"; d="scan'208";a="390058421" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jul 2019 14:58:05 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0E629824A7; Tue, 2 Jul 2019 14:58:06 +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 967C6824A7; Tue, 2 Jul 2019 14:23:12 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=laure.gonnord@ens-lyon.fr; spf=Pass smtp.mailfrom=laure.gonnord@ens-lyon.fr; spf=None smtp.helo=postmaster@labbe.ens-lyon.fr IronPort-PHdr: =?us-ascii?q?9a23=3ADsx1jRy8460KqXzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoVLfad9pjvdHbS+e9qxAeQG9mCsbQe26GL6eigATVGvc/Y9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMqMUam5VuJ6U+xhbJvHdDZu?= =?us-ascii?q?BayX91KV6JkBvw+9q88IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?= =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?= =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7act4GS2dNQttdWzVdDo+h?= =?us-ascii?q?coADC/cNMOZdo4T7ulAArwaxBRO0Ce3hyjFGmGL4064g0+suDQ7JwQMuENwVvX?= =?us-ascii?q?TIr9j4LrseXfyvwaXVyzjIcvNY2S366IjNah0vp+uDXa9qccXP1EIhFgTFjlOW?= =?us-ascii?q?qYziJTOay/kGvm+f7+V6SOKvkXAopxt+ojiowMcsjI7JhpgIxV3f6yp5xp01Kc?= =?us-ascii?q?S8SE97Zt6kFoFcty+AN4ZvRM4pXm9muCE/yrIcuJ67ejAHyI87xxHFd/yHcpSH?= =?us-ascii?q?7QjlVOmLJTd5hGlleLOkhxqo9kig0OL8WtGq31ZMtSpJi93Mt3AK1xzV8MSHRO?= =?us-ascii?q?F98l+u2TaI0QDT7OZEIVopmqbBLJ4h2LEwm5wOukrABi/7gFj6gaCKekk++OWl?= =?us-ascii?q?6f7rbqjnq5KeLYN4lB/yPro2lsG9Auk0KBUCUmyV9OimybHv4EL0TK9Og/AylK?= =?us-ascii?q?TSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYmWMII0ledx2ZlYTmJVfOIOvhAfe7?= =?us-ascii?q?g1WslzFry+rIPr37GpnNL37Dn6n9fbtl9kJRxxY/wcpd6p9WEL0NPfP+V03ruN?= =?us-ascii?q?DGEBM1LRS4w+P9B9V80oMeV3iPAqicMK7KtV+H/P8vI/OSa4MPtzb9LP4l5/jp?= =?us-ascii?q?jX8jhFAQZrem3Z0MaHyhGvRnI0KZYXz2jtcPC2cGphA+Q/DyiF2eTT5TYG6/UL?= =?us-ascii?q?4m6TE+DIKqFIPDRoG2gLydxyq7BZ1XZmVeCl+WC3vodoOEW+0NaC2IOMNhnCYE?= =?us-ascii?q?X6C7S4A9zRGuqBP6y71/I+rP+iwYs4js1Nxt5+DIjhEz9Tl0D9yH3G2XTmF0mH?= =?us-ascii?q?kIRz4s06xlr0x90ATL7a8th/VFD9EV6PRPVAAgObbRyfc/D8H1XETPZISzRU6i?= =?us-ascii?q?U+mhVBU4U8g8i/AJZUB6Adnq2hTKwjCnRbASkbqMHpAc/6THmnzgIMA7xWyQh4?= =?us-ascii?q?c7iFxzZsJSL2Duqal58Q/JC8adl0yEjavseqMa2inX+E+Oy3HLuFBfVkh+S/OW?= =?us-ascii?q?DjgkekLKoIGhtQv5RLi0BOF+b1Icm/7HEbNDb5jStXsDRPrnP42PMWa4kW29Qx?= =?us-ascii?q?uO3faIfY3sPWsHjn2EVBo01jsL9HPDDjAQQz+7qjuFXjFoDhfrckTqt+dk+ivi?= =?us-ascii?q?Hx0EijqSZkgk7IKbvxschPiSUfQWh+lWtSE67jFlG1D70ciEUtc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BNAgBTTBtdh96nTYxlHAEBAQQBAQcEA?= =?us-ascii?q?QGBZ4FogRlUMBQBARKXEIIejlWMCQkBAwEMHw0BAgEBhlobBwEENBMBAwEBBAE?= =?us-ascii?q?BAgECAwETAQEBCgsJCCmKPgyCOgyDKBUBgQIaGgVwgw4BggoEC50fiHyFN4M/g?= =?us-ascii?q?UeBNIRyhm2BVz+BEYNQgQSBXQGBP4NfgiYEigCBfxsXngQHAoExZ10EhG0oXo0?= =?us-ascii?q?dJwyCH2yGL44mlBRYhFGBLooYYU44gXkzGieBagopgRsJgUCBEAIdhHiDVoVBP?= =?us-ascii?q?QEBMYEDAwEBIRONOwEB?= X-IPAS-Result: =?us-ascii?q?A0BNAgBTTBtdh96nTYxlHAEBAQQBAQcEAQGBZ4FogRlUMBQ?= =?us-ascii?q?BARKXEIIejlWMCQkBAwEMHw0BAgEBhlobBwEENBMBAwEBBAEBAgECAwETAQEBC?= =?us-ascii?q?gsJCCmKPgyCOgyDKBUBgQIaGgVwgw4BggoEC50fiHyFN4M/gUeBNIRyhm2BVz+?= =?us-ascii?q?BEYNQgQSBXQGBP4NfgiYEigCBfxsXngQHAoExZ10EhG0oXo0dJwyCH2yGL44ml?= =?us-ascii?q?BRYhFGBLooYYU44gXkzGieBagopgRsJgUCBEAIdhHiDVoVBPQEBMYEDAwEBIRO?= =?us-ascii?q?NOwEB?= X-IronPort-AV: E=Sophos;i="5.63,443,1557180000"; d="scan'208";a="390050894" X-MGA-submission: =?us-ascii?q?MDFu7h0/oImDQiisZdijbARrpK7OUN+8OR62Tk?= =?us-ascii?q?gY+JJQjccPgbn7fkY+bvYkIYPa4Ndtuxct+z6yNNDnDkg74g858KRx9l?= =?us-ascii?q?WsCDAA6bQx2/liiR6OVNkMGvBWKaMvrArYJoVVKA68CADfhLRPiWl5Jf?= =?us-ascii?q?oXtqamcoa1G3xFdzibRDVJXQ=3D=3D?= Received: from labbe.ens-lyon.fr ([140.77.167.222]) by mail2-smtp-roc.national.inria.fr with ESMTP; 02 Jul 2019 14:23:11 +0200 Received: from localhost (localhost [127.0.0.1]) by labbe.ens-lyon.fr (Postfix) with ESMTP id 7B86C320BA8; Tue, 2 Jul 2019 14:23:11 +0200 (CEST) X-Virus-Scanned: by amavisd-new-2.10.1 (20141025) (Debian) at ens-lyon.fr Received: from labbe.ens-lyon.fr ([127.0.0.1]) by localhost (labbe.ens-lyon.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 1ic5Jog9IV6m; Tue, 2 Jul 2019 14:23:11 +0200 (CEST) Received: from localhost (unknown [78.193.114.99]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by labbe.ens-lyon.fr (Postfix) with ESMTPSA id 4B60F320557; Tue, 2 Jul 2019 14:23:11 +0200 (CEST) Date: Tue, 2 Jul 2019 14:23:11 +0200 From: Laure Gonnord To: laure.gonnord@ens-lyon.fr Message-ID: <20190702122311.GB5016@meert> Reply-To: Laure Gonnord MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.24 (2015-08-30) X-Validation-by: laure.gonnord@ens-lyon.fr Subject: [Caml-list] [NSAD 2019] 2nd Call for Papers (extended deadline): Workshop on Numerical and Symbolic Abstract Domain X-Loop: caml-list@inria.fr X-Sequence: 17666 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: Hello; [apologies for crossposting] online version: https://staticanalysis.org/nsad2019/ I enclosed the second CFP for the NSAD Workshop (Numerical and Symbolic Abstract Domain), colocated with FM, SAS (and TAPAS and SASB) Like TAPAS, we extend the deadline to July 18th. Like TAPAS, this workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations. Laure Gonnord; NSAD chair ---- Objective Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.). Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions of The 8th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field. This year's edition will be more open to work in progress, and contributions coming from other close communities such as constraint solving, compilation, worst-case execution time communities, will be welcome. NSAD 2019 will be co-located with SAS 2019. Scope The technical program of TAPAS 2019 will consist of invited lectures together with presentations, based on submitted extended abstracts. Submissions can cover any aspect of numerical and symbolic abstract domains, such that: cases studies or problem statements coming from close communities numeric abstract domains symbolic abstract domains extrapolations and accelerations compositions and operations on abstract domains data structures and algorithms for abstract domains novel applications of abstract domains implementations practical experiments and comparisons implementations Like TAPAS, this workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations. Proceedings and post-proceedings The workshop will have informal proceedings, posted on its web page. 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. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the workshop. Submission instructions Please submit your regular paper (12-15+ pages), short paper (6-8+ pages), or extended abstract (2 pages), in LNCS style, via the NSAD 2019 author interface of EasyChair. All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. 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: 7 or 8 October Post-proceedings due: 15 November (tentative) Venue and Registration Please see the main SAS page for details. Program Committee Laure Gonnord, Université de Lyon, France (chair) Clément Ballabriga (Univ Lille, France) Mehdi Bouaziz (Facebook, London) Matthieu Martel (Univ Perpignan, France) Isabella Mastroeni (Univ Verona, Italy) Pascal Sotin (Univ Toulouse, France) Charlotte Truchet (Univ Nantes, France) -- Laure Gonnord - (Habilitated) Associate Professor University of Lyon / LIP (ENS Lyon) Co-Coordinator of the French Compilation Community : http://compilfr.ens-lyon.fr Office : Ens Lyon / LIP, Monod, 364N (changed dec 17) Tel : +33 4 72 72 85 47 Web : http://laure.gonnord.org/pro