From: David Sabel <sabel@ki.informatik.uni-frankfurt.de>
To: sabel@ki.cs.uni-frankfurt.de
Subject: [Caml-list] PPDP | LOPSTR | WFLP 2018 Common Call for Participation
Date: Mon, 6 Aug 2018 16:56:42 +0200 [thread overview]
Message-ID: <2cd96e04-a26c-9492-2c07-fc40e2604fba@ki.informatik.uni-frankfurt.de> (raw)
======================================================================
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
reply other threads:[~2018-08-06 15:44 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2cd96e04-a26c-9492-2c07-fc40e2604fba@ki.informatik.uni-frankfurt.de \
--to=sabel@ki.informatik.uni-frankfurt.de \
--cc=sabel@ki.cs.uni-frankfurt.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).