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