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


 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
 Program Chair
     Peter Thiemann, Universität Freiburg, Germany

 Program Committee
 Program Chairs
     Fred Mesnard, University of Reunion Island, France
     Peter Stuckey, University of Melbourne, Australia

 Program Committee
 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:
Beginner's list:
Bug reports:

^ 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

AGPL code for this site: git clone public-inbox