caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] PPDP | LOPSTR | WFLP 2018 Common Call for Participation
@ 2018-08-06 15:44 David Sabel
  0 siblings, 0 replies; 1+ messages in thread
From: David Sabel @ 2018-08-06 15:44 UTC (permalink / raw)
  To: 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

                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)






-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-06 15:44 [Caml-list] PPDP | LOPSTR | WFLP 2018 Common Call for Participation David Sabel

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox