====================================================================== PPDP | LOPSTR | WFLP 2018: Common Call for Participation ======================================================================

20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018)

28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018)

26th International Workshop on Functional and Logic Programming (WFLP 2018)

Frankfurt am Main, Germany, 3-6 September 2018

http://ppdp-lopstr-18.cs.uni-frankfurt.de ======================================================================

Program ======= The full program of PPDP | LOPSTR | WFLP 2018 is online:

http://ppdp-lopstr-18.cs.uni-frankfurt.de/program/0.htm

It includes

* four invited talks:

- Philippa Gardner, Imperial College. Formal Methods for JavaScript - Jorge Navas, SRI International. Constrained Horn Clauses for Verification - Chung-Chieh Shan, University of Indiana. Calculating Distributions - Laure Gonnord, University of Lyon. Experiences in Designing Scalable Static Analyses

* invited tutorials:

LOPSTR includes two invited tutorials: - Fabio Fioravanti, University of Chieti-Pescara. The VeryMAP System for program transformation and verification - Manuel Hermenegildo, IMDEA Software Institute. 25 Years of Ciao

* a session in Honour of Martin Hofmann PPDP includes a session in honour of Martin Hofmann with an invited talk given by Nick Benton, Facebook. Semantic Equivalence Checking for HHVM Bytecode

Registration ============ http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration Early registration ends on 15 August, 2018.

Sponsors ======== The conferences are financially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063, and by the Goethe-University Frankfurt am Main.

Conference Organisers =====================

PPDP Program Committee See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc Program Chair Peter Thiemann, Universität Freiburg, Germany

LOPSTR Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia

WFLP Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html#pc Program Chair Josep Silva, Universitat Politècnica de València, Spain

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)