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 E874B5D4 for ; Fri, 6 Jul 2018 15:35:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,316,1526335200"; d="scan'208";a="336537308" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jul 2018 17:35:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CAF79824B7; Fri, 6 Jul 2018 17:35:02 +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 9D2DD82486; Fri, 6 Jul 2018 17:31:01 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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@mout.kundenserver.de IronPort-PHdr: =?us-ascii?q?9a23=3AofQwWhOIp+EoiHbHYuEl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/38rarrMEGX3/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?kZNzA37WLZhMJ+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+DZRfqSeXPJZ1TMM6W2xkpjs2xqMctZKlYiQHyo4rywPdZvCdboSE?= =?us-ascii?q?/grvWeiMLTtihX9od6iziwu9/ES80OHwS8q53EpMoyFYiNfDrGoN2AbW6sWfSv?= =?us-ascii?q?ty4EOh2TGX2gDW7eFEPFw0mbDYK548xL4/i4QcsULYHiDogkX2krGZdl8+9ue1?= =?us-ascii?q?9evrerTmppmCOI9okgzyLLkiltKlDegmLAQDXXKX9fm+2bH54EH1XK1Gjvgsna?= =?us-ascii?q?nYtJDaK94bpqm8AwJNyYYs8Q2wACmi0NkDnnkHLUhJeBOBj4jnPFHOOvX4Au2j?= =?us-ascii?q?g1Stkzdn3e3GPrvgApnUIHjDiq3ufbB+605S1Qoz18xf64hJBb4fOP7zQFP+tM?= =?us-ascii?q?TEDh8lNAy52/roCNJk1o8HRW2PBrKZP7jJvF+T5uMvJvGMa5UPtDb8Lfgl/f/u?= =?us-ascii?q?gmUjlV8TZ6mjxYEXZ2ygHvR6P0WZZmLhjcsbHmcPugoyVejqiFyZUT5PfHuyRK?= =?us-ascii?q?I95jQjCI28F4vDR4atgKaA3CihBJFWaHpGWRiwFiLzfo+JX98PaWSZOYl8lD1B?= =?us-ascii?q?W6KoTYwvyAuy8gP3mJR9Ke+B1iQGtJ6r79F/6umbwQo7/zFwJ8eclWCLQWZum2?= =?us-ascii?q?oURjxwwaZ+5EJnw1GA37Vin7pUGIoAtLtyTg4mOMuEnKRBANfoV1eZJ4bbeBOd?= =?us-ascii?q?WtyjRAoJYJc0yt4KbVx6Ho743BPCmSusDbgPkrWXBZ9y76TdmnbrLsB+xWvcyO?= =?us-ascii?q?8tggt+G5cdBSidnqd6sjPrKcvRiUzCzfSpdOId2iDK7mKK0WuN+lxeUUt+S6zD?= =?us-ascii?q?Xn4CfFeQodmrvhqfHY/rMqwuN0568eDHKqZObYez31BBWeulO8nYb2+3gGqqGx?= =?us-ascii?q?uSgL+BPtLn?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CvAwDM+T5bhwoR49RcHgEGDIQrfyiDe?= =?us-ascii?q?pQ5gWUxlDxlgXoLIwgBhm8ZBgYwGAECAQECAQEBAQETAQEBCA0JCCkjDII1IoM?= =?us-ascii?q?DBg8BBTAKIBwCJgJsCAEBgxwBggMBCo1Nm0iCHIRbg3SBOoELh2KCFYEPJwyBR?= =?us-ascii?q?YJYgSAsCwMBhF+CVQKGMZJcQgl5hD9OgmSGMogTBYVGijWCA4VTgUGCCjMaCBw?= =?us-ascii?q?UgyQJgicChAGKIW0BAQF3AQGOVgEB?= X-IPAS-Result: =?us-ascii?q?A0CvAwDM+T5bhwoR49RcHgEGDIQrfyiDepQ5gWUxlDxlgXo?= =?us-ascii?q?LIwgBhm8ZBgYwGAECAQECAQEBAQETAQEBCA0JCCkjDII1IoMDBg8BBTAKIBwCJ?= =?us-ascii?q?gJsCAEBgxwBggMBCo1Nm0iCHIRbg3SBOoELh2KCFYEPJwyBRYJYgSAsCwMBhF+?= =?us-ascii?q?CVQKGMZJcQgl5hD9OgmSGMogTBYVGijWCA4VTgUGCCjMaCBwUgyQJgicChAGKI?= =?us-ascii?q?W0BAQF3AQGOVgEB?= X-IronPort-AV: E=Sophos;i="5.51,316,1526335200"; d="scan'208";a="272162273" Received: from mout.kundenserver.de ([212.227.17.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 06 Jul 2018 17:31:00 +0200 Received: from [10.0.0.132] ([31.64.140.180]) by mrelayeu.kundenserver.de (mreue105 [212.227.15.183]) with ESMTPSA (Nemesis) id 0M1XiL-1gPhtB2CNN-00tUW7; Fri, 06 Jul 2018 17:26:01 +0200 To: sabel@ki.cs.uni-frankfurt.de From: David Sabel Message-ID: <174ebaf9-e874-0592-56f0-a0b7d828a7ab@ki.informatik.uni-frankfurt.de> Date: Fri, 6 Jul 2018 17:25:18 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K1:8MlnLw9uxUjTsgQ4ibuAQYL/MaDuNhLtaWJEES9gaBDxFjuFa2K jfZ5X5qiSFEM/rO+LVwAmhUX7RLkn3BDMK7ftSLhWRKSKtuT312RLU491J+80SBtVjp86nC PrBtnejb9a8WW0+ofBRc6ZxktiU8tKYe/91NI3zOR1A2HhPmqIOJjpT8dRXa7yWYHhWHDvU 7DV+X2CdXkah6vCejQtBQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:idUZ3FbEf5U=:Xp1V9xDwGn8i+Ck+YQkYSl b9kRs7MYeHTeEDpBKTfW82aRfkZrYbkMqIApZKtIzjqQaL4ss6d71NsqlokcsWwi4EkbwJJu8 15V7akv2LsWuASHhccDtPxZM6fKm18QUL6x/YRcERcG3xO7iNqM880DrkxE8QX2o9Oj3bFExw Otxt1OZSAihKDpUVnXxjDaXFpaiHI1gAtifHyvNnVbAVY9yqtxtBkd62l+Z6Dkl/CpcjIBhXe XO1JkNxU641GCYoCu4Hvw3hkn7S8TegNs+qE+5ro1lIIWdNJAZzf1PBr//PqKCodSkenVLmLq qotBa7qqWjI4j1IhS+8mt3v8j3JDrK2pT9NHsEaDsh5MabWOfzaAk4vzMg7Zx7XiyoAH39F6n 3NlGRVeg6pPc6aTV5uVQPHP5w/Hak2Jad9CeQqdnbFKZPAxnKKBdbBeh+uPp+erd+zWxX+FVM VLXEGnp2zF2xg4PbR5mm6pPp3fSfitizT3tdmViT36SJt2xHMkwGPjS0eykEapb6yyVLZF8Xu yWq74AOJaiEv9OcUF9bLyG9uMAXSRhgTE/lE2awyYYnxVdInCcbUiq3eEAUJpE7kLn1H6mC77 fxSV62mhZ0UbnqxS6kSrYd0COvwOZqvfSUw4wzJYj36RD417cmsWsmeF+Zrk37CYtdgaBCku+ tccHOFW8NYVU7gmwvlbj0x0GLYDDKFRJ0AIvEolx6831pTZ51kivrXnAvxNqDH9AOzLBtYdHl wSYFc8MgpJVWb6jv X-Validation-by: sabel@ki.informatik.uni-frankfurt.de Subject: [Caml-list] PPDP 2018: Call for Participation Reply-To: David Sabel X-Loop: caml-list@inria.fr X-Sequence: 16978 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 2018: Call for Participation ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html             (co-located with LOPSTR 2018 and WFLP 2018)              http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Registration ============  http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration  Early registration ends on 15 August, 2018. Session in Honour of Martin Hofmann =================================== PPDP will include a session in honour of Martin Hofmann including a talk given by Nick Benton, Facebook on Semantic Equivalence Checking for HHVM Bytecode Invited Talks ============= -   Philippa Gardner, Imperial College.     Testing and Verification for JavaScript (joint with LOPSTR) -   Jorge Navas, SRI International.     Constrained Horn Clauses for Verification (joint with LOPSTR) -   Chung-Chieh Shan, University of Indiana.     Calculating Distributions Accepted Papers =============== -   Maciej Bendkowski and Pierre Lescanne.     Combinatorics of explicit substitutions -   Manfred Schmidt-Schauss, David Sabel and Nils Dallmeyer.     Sequential and Parallel Improvements in a Concurrent Functional Programming Language -   Magnus Madsen and Ondrej Lhotak.     Implicit Parameters for Logic Programming -   Mistral Contrastin, Dominic Orchard and Andrew Rice.     Automatic reordering for dataflow safety of Datalog -   Danil Annenkov and Martin Elsman.     Certified Compilation of Financial Contracts -   José Fragoso Santos, Petar Maksimović, Théotime Grohens, Julian Dolby and Philippa Gardner.     Cosette: Symbolic Execution for JavaScript -   Michael Hanus.     Verifying Fail-Free Declarative Programs -   Dmitri Rozplokhas and Dmitry Boulytchev.     Improving Refutational Completeness of Relational Search via Divergence Test -   Martin Sulzmann and Kai Stadtmüller.     Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks -   Sylvia Grewe, Sebastian Erdweg, André Pacak and Mira Mezini.     An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers -   Gopalan Nadathur and Yuting Wang.     Schematic Polymorphism in the Abella Proof Assistant -   Stephan Adelsberger, Anton Setzer and Eric Walkingshaw.     Declarative GUIs: Simple, Consistent, and Verified -   Genki Sakanashi and Masahiko Sakai.     Transformation of combinatorial optimization problems written in extended SQL into constraint problems -   Yuki Nishida and Atsushi Igarashi.     Nondeterministic Manifest Contracts -   Alberto Pardo, Emmanuel Gunther, Miguel Pagano and Marcos Viera.     An Internalist Approach to Correct-by-Construction Compilers -   Falco Nogatz, Jona Kalkus and Dietmar Seipel.     Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters -   Helmut Seidl and Ralf Vogler.     Three improvements to the top-down solver -   Flavien Breuvart and Ugo Dal Lago.     On Intersection Types and Probabilistic Lambda Calculi -   Taku Terao.     Lazy Abstraction for Higher-Order Program Verification -   Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Jose F. Morales and Manuel V. Hermenegildo.     Static Performance Guarantees for Programs with Run-time Checks -   Abhishek Dang and Piyush Kurur.     Verse: An EDSL for cryptographic primitives -   Pablo Barenbaum, Eduardo Bonelli and Kareem Mohamed.     Pattern Matching and Fixed Points: Resources Types and Strong Call-By-Need Sponsors ========  PPDP is financially supported by the  Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063,  and by the Goethe-University Frankfurt am Main. Conference Organisers =====================  Program Committee    See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc  Program Chair    Peter Thiemann, Universität Freiburg, Germany  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