Boost logo

Boost Interest :

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)


Boost-interest list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk