<div dir="ltr"><div><pre style="color:rgb(0,0,0);white-space:pre-wrap">DEADLINE EXTENSION TO *10 MAY* - PPDP 2019<br></pre><pre style="color:rgb(0,0,0);white-space:pre-wrap">21st International Symposium on
  Principles and Practice of Declarative Programming

7–9 October 2019, Porto, Portugal 

Collocated with FM'19

<a href="http://ppdp2019.macs.hw.ac.uk">http://ppdp2019.macs.hw.ac.uk</a></pre><pre style="color:rgb(0,0,0);white-space:pre-wrap">======================================================================

Important Dates
---------------

Title and abstract registration     4 May 2019 (AoE) (extended)
Paper submission                     10 May 2019 (AoE) (extended)
Rebuttal period (48 hours)           10 June 2019 (AoE) (extended)
Author notification                 20 June 2019 (extended)
Final paper version                 15 July 2019
Conference                          7–9 October 2019
</pre><pre style="color:rgb(0,0,0);white-space:pre-wrap">About PPDP
----------

The PPDP 2019 symposium brings together researchers from the declarative
programming communities, including those working in the functional, logic,
answer-set, and constraint handling programming paradigms. The goal is to
stimulate research in the use of logical formalisms and methods for analyzing,
performing, specifying, and reasoning about computations, including mechanisms
for concurrency, security, static analysis, and verification.</pre><pre style="color:rgb(0,0,0);white-space:pre-wrap">See <a href="http://ppdp2019.macs.hw.ac.uk">http://ppdp2019.macs.hw.ac.uk</a> for further information and information.<br><br></pre><pre style="color:rgb(0,0,0);white-space:pre-wrap">Invited Speakers<br></pre><pre style="color:rgb(0,0,0);white-space:pre-wrap">----------------

Amal Ahmed                      Northeastern University, USA
Title:                          TBA

Naoki Kobayashi                 The University of Tokyo, Japan
Title:                          10 Years of the Higher-Order Model Checking
                                Project
</pre><br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><span style="letter-spacing:0.2px"> </span><span style="color:rgb(0,0,0);white-space:pre-wrap">Submission page:</span></div><pre style="color:rgb(0,0,0);white-space:pre-wrap">----------------</pre><div><a href="https://easychair.org/conferences/?conf=ppdp19" target="_blank" style="color:rgb(29,65,159);font-size:10pt;font-family:Verdana,Arial,Helvetica,sans-serif">https://easychair.org/conferences/?conf=ppdp19</a><span style="letter-spacing:0.2px">                                                                                    </span><br></div><div><br></div><div><br></div><div><br><br></div></div></div></div></div></div></div></div></div></div></div></div>