======================================================================
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)
_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Fr Aug 10 2018 - 22:47:59 CEST