PPDP | LOPSTR | WFLP 2018 Common Call for Participation

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

PPDP | LOPSTR | WFLP 2018 Common Call for Participation

David Sabel
     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


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


 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

 Early registration ends on 15 August, 2018.

 The conferences are 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

 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

 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)

Haskell mailing list
[hidden email]