PPDP | LOPSTR | WFLP 2018 Common Call for Participation - curry - lists.rwth-aachen.de

6 Aug 2018


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