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 ESMTP id C10DE5D4 for ; Mon, 6 Aug 2018 15:44:46 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,452,1526335200"; d="scan'208";a="341559358" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Aug 2018 17:44:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 33C95824CA; Mon, 6 Aug 2018 17:44:44 +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 7272981792; Mon, 6 Aug 2018 16:56:44 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sabel@ki.informatik.uni-frankfurt.de; spf=None smtp.mailfrom=sabel@ki.informatik.uni-frankfurt.de; spf=None smtp.helo=postmaster@kiste.ki.informatik.uni-frankfurt.de IronPort-PHdr: =?us-ascii?q?9a23=3A38QD7BNM93YXp2CdJbkl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I//6rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHKjA37mLZhMJ+g61UvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUBFeUBI+dYoJTgrFUTtxSxHhejBOfywTJPnX/5x7Y13PolEQzd3wwgHsgCsH?= =?us-ascii?q?XSrNX7M6cSS+W1w7PUzTXCbPNawyr96I7Jchw4r/GMR6h/cczSyUkhCgPFlEmQ?= =?us-ascii?q?pZb4MDyLz+kAtXWQ4eRnVeKqkWEnqgdxryCyxscqi4nFn4wVykre+iV/w4Y1K8?= =?us-ascii?q?C4SFRnYdK+DZRfqSeXPJZ1TMM6W2xkpSk3xqActZKlZiQG1YgrywTCZ/CfboSF?= =?us-ascii?q?7Q/vWPyPLTtimX5pZKizihS0/EO90OPzTNO030xPriddktnDqHQN1xvL58iES/?= =?us-ascii?q?t95Vuh1iiV2wDQ6+FIO0E0lazVK54m2L4wk4AcsVjCHi/1gkn2kamWdkQ99uim?= =?us-ascii?q?8eToeLPmppySN49pkAH+Lr4ildGhDuggMwgOWXaU+fik2bH+8kD1Xa9GguMsnq?= =?us-ascii?q?XErJzWP9kXqra8AwBP04Yj7xi/Dy2h0NQdhXQHN0hKdwmZgIjtIFzOI/H4Ae2+?= =?us-ascii?q?g1SqnjdrwOrGPrj7DZXRL3jDk63tfat7605d0QYzw8pf6IhSCrECLvLzR1XxtM?= =?us-ascii?q?DCAhAkLQO42/znB8ll1oMCRWKPBbeUP7/Ivl+N4uIjOu2MZI4OuDbhMPUl/P7v?= =?us-ascii?q?jXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb2DsiM8bEWgWpgo+UPDqiFqaXDFPYHayRr?= =?us-ascii?q?sw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWEXfpbYqIQfkMaDjBavNmxycN?= =?us-ascii?q?X7WlY4wgkxq18hL8yv9pNOPS+SMFr46l2NUmyffUkEQe/CJ1A4ym2muASykghW?= =?us-ascii?q?oCSjse36E5oEpzzU2G2LR5gLpFE90W6elAVAQ0KITAieB3XYOhEjndd8uEHQ71?= =?us-ascii?q?Cu6tBis8G4poko0+Jn1lEtDntSjtmi+jArsbjbuOX8Zm8aOa3n7/INx4wmrH1+?= =?us-ascii?q?88iVhjTNFGM26om7RjsQTeVdaQzxep0p2yfKFZ5xbjsX+ZxDHU7kJZFg92X6Lf?= =?us-ascii?q?WHkDZ0iQsNL4o03YRrmtB6k9Lk1NxJzac/YYWpjSlVxDAczbFpHebma2wDfiBh?= =?us-ascii?q?eT2r7Kb4usemMT2z/YAVQFkEYO+3fDOxI3ACSvvnjCSjBjRwri?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BUBQBMYGhb/wEKAo1cHgEGDINOY38og?= =?us-ascii?q?36WMAiVJ4JfLoFUhh4ZBgYzFQECAQECAQEBAQFsHAyCNSKDBAYPATVGAiYCbAg?= =?us-ascii?q?BAYMcAYIDC50ajmSBLopQgQuIFYIAgRInDIQggSAvCwECAYIsgjSCVQKGRpMrQ?= =?us-ascii?q?gl9hExRiSWIPQWFYwGKa4lKIoFSMxoIHBSDJAmCKIQDiiFtAQEBkAkBAQ?= X-IPAS-Result: =?us-ascii?q?A0BUBQBMYGhb/wEKAo1cHgEGDINOY38og36WMAiVJ4JfLoF?= =?us-ascii?q?Uhh4ZBgYzFQECAQECAQEBAQFsHAyCNSKDBAYPATVGAiYCbAgBAYMcAYIDC50aj?= =?us-ascii?q?mSBLopQgQuIFYIAgRInDIQggSAvCwECAYIsgjSCVQKGRpMrQgl9hExRiSWIPQW?= =?us-ascii?q?FYwGKa4lKIoFSMxoIHBSDJAmCKIQDiiFtAQEBkAkBAQ?= X-IronPort-AV: E=Sophos;i="5.51,452,1526335200"; d="scan'208";a="341553796" Received: from kiste.ki.informatik.uni-frankfurt.de ([141.2.10.1]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Aug 2018 16:56:43 +0200 Received: from [141.2.10.7] (kipling.ki.informatik.uni-frankfurt.de [141.2.10.7]) by kiste.ki.informatik.uni-frankfurt.de (Postfix) with ESMTP id 357427239D; Mon, 6 Aug 2018 16:56:42 +0200 (CEST) From: David Sabel To: sabel@ki.cs.uni-frankfurt.de Openpgp: preference=signencrypt Autocrypt: addr=sabel@ki.informatik.uni-frankfurt.de; prefer-encrypt=mutual; keydata= xsBNBFLVHpoBCADPW10qZq5LVIZy5YBoOKIk7iNpoosKRq91+p9OFierWZrSQifmiLaxD8wG i2R9CQuHRSHt0xEgQ/4nnuU8QR5h19zfdDDgygmMNHUyMRm0dKUx0ecXf7zbd2sB1y28u06z nXGqqM8CleazQ5aqb2mdHzvCr8BCqbMIGW1IC6XRvItJDkULBXnnrRtLMGLF0BXLqCtydBUm xfhPs10bOpcliWhDAVoTum45zpHXNRsaWqbdKmHAhKVCKrVcShh1jO7IT+iAOgQ6cm90OeYe dpcaLPJwWpsqDGXbkyBVUIxFXEkrw2bNHnVqOZilh6ssXUiiJqEKGyqpGLcNirLmy7zVABEB AAHNMkRhdmlkIFNhYmVsIDxzYWJlbEBraS5pbmZvcm1hdGlrLnVuaS1mcmFua2Z1cnQuZGU+ wsB5BBMBAgAjBQJS1R6aAhsDBwsJCAcDAgEGFQgCCQoLBBYCAwECHgECF4AACgkQ1fn4CLqV Nd1GGggAm+wAWqzPCrqZdWe9ZGK8kFy3EZwAuwuqYruVqAaJ70ieE8eU/RtDskhKxxe1yc95 VylI+QEkx156DiUW0wE7ewLokiQEQKRLEio4UNQ9EPh7tepIBqNwLBXlnE8nw0Gi2+wLEMoQ uFvk9rs0x85r73NS26ISlUwjAniCnmf0dLkvC+1UofytqAQPHFYJLHYhMBHbK2Is0mvXXjNr PLp3QoCPxIIqm/gYNOPb4jp4o3cUY9CNVYQWK43HuG5wGH7jna1INz+i9dPia9gSyxsD/58L 08wNafgFvLM/omv0WwSaQ4Jwibu9LXfIpFTTFQdW2/G7eJ03gB4UR84KmILJz87ATQRS1R6a AQgAuJhktTKMmn8UE3JabDVaZ2Pck3fSrg6clTww+oW+CGaWmj+8lcjryaCpSHXmCjBr0F0o uM5O/F0JRJ8c8gEckAcHiLAZKEGtzNJfJrqqQVaTY6TrnI3YE93rhGv84nq9VhkjzTIimF5d W3vQqvoTI3K6nGSUnU3/kLPyP8B2s9Xr3rTdr8RYSRmNfgMIgqMQBa1HMxyNr/5ZPnLRQEo8 4pnJoGddeSbLVK+I1hCVfRzlufMzjF7xlKRe6i2akf5jHbgguKuufWJ6OYM40fcxI4rjnCFk xJyHy1UUCNTLGzzeHmt2uO0hTKqr6lfuK1PK0i0h+hTMA2Wu3kYjMKemYwARAQABwsBfBBgB AgAJBQJS1R6aAhsMAAoJENX5+Ai6lTXd+kgH/0YK1+B0xkv+R4w/flo5ZYO5iIAzP1RriJZE HuwdnR9pUmPcWbqlhzaRPTHAHCisfsBshWzyst8+WchfLIa34+ZCeb1wIKIiN8TMr1cOm3kt w7MWXR2704wKjsfK4wTiVVczzUo0r9j2LF8ow5I2Gv08Rvj12xSfaHfUFHvcLwawlittiOPg QPLE8OXIgvmKFVeHhZ0RBJGzUzziKiPMjJJc8slcksWTHBwDSbHTAWDBklfshUfeakkvoy0u lV+T0KzVNvq9Rxro6JRfhWgm0NPzmIfXxQ0prcGL60Y9y09FXj3bGla82KkQGXW+igAchVqF K5Gqcg+W28dl5/qRoQ8= Message-ID: <2cd96e04-a26c-9492-2c07-fc40e2604fba@ki.informatik.uni-frankfurt.de> Date: Mon, 6 Aug 2018 16:56:42 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit X-Validation-by: sabel@ki.informatik.uni-frankfurt.de Subject: [Caml-list] PPDP | LOPSTR | WFLP 2018 Common Call for Participation Reply-To: David Sabel X-Loop: caml-list@inria.fr X-Sequence: 17022 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: ====================================================================== PPDP | LOPSTR | WFLP 2018: Common Call for Participation ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) 26th International Workshop on Functional and Logic Programming (WFLP 2018) Frankfurt am Main, Germany, 3-6 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Program ======= The full program of PPDP | LOPSTR | WFLP 2018 is online: http://ppdp-lopstr-18.cs.uni-frankfurt.de/program/0.htm It includes * four invited talks: - Philippa Gardner, Imperial College. Formal Methods for JavaScript - Jorge Navas, SRI International. Constrained Horn Clauses for Verification - Chung-Chieh Shan, University of Indiana. Calculating Distributions - Laure Gonnord, University of Lyon. Experiences in Designing Scalable Static Analyses * invited tutorials: LOPSTR includes two invited tutorials: - Fabio Fioravanti, University of Chieti-Pescara. The VeryMAP System for program transformation and verification - Manuel Hermenegildo, IMDEA Software Institute. 25 Years of Ciao * a session in Honour of Martin Hofmann PPDP includes a session in honour of Martin Hofmann with an invited talk given by Nick Benton, Facebook. Semantic Equivalence Checking for HHVM Bytecode Registration ============ http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration Early registration ends on 15 August, 2018. Sponsors ======== The conferences are financially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063, and by the Goethe-University Frankfurt am Main. Conference Organisers ===================== PPDP Program Committee See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc Program Chair Peter Thiemann, Universität Freiburg, Germany LOPSTR Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia WFLP Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html#pc Program Chair Josep Silva, Universitat Politècnica de València, Spain Organizing Committee (Goethe-University Frankfurt am Main, Germany) Ehud Cseresnyes Nils Dallmeyer Bircan Dölek Ronja Düffel Lars Huth Leonard Priester David Sabel (General Chair) -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs