======================================================================
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)
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
