[Boost-interest] PPDP 2018: Call for Participation

Subject: [Boost-interest] PPDP 2018: Call for Participation
From: David Sabel (sabel_at_[hidden])
Date: 2018-07-06 15:25:18

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