======================================================================                 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)