[TYPES/announce] PPDP 2018: Call for Participation

David Sabel sabel at ki.informatik.uni-frankfurt.de
Fri Jul 6 11:25:18 EDT 2018


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






More information about the Types-announce mailing list