[Coq-Club] 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

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)