The Coq mailing list

[David Sabel <sabel AT ki.informatik.uni-frankfurt.de>]

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