<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div>======================================================================</div>
<div><br>
</div>
<div><span class="" style="white-space: pre;"></span> Call for papers</div>
<div><span class="" style="white-space: pre;"></span> 17th International Symposium on</div>
<div><span class="" style="white-space: pre;"></span> Principles and Practice of Declarative Programming</div>
<div><span class="" style="white-space: pre;"></span> PPDP 2015</div>
<div><br>
</div>
<div> Special Issue of Science of Computer Programming (SCP)</div>
<div><br>
</div>
<div><span class="" style="white-space: pre;"></span> Siena, Italy, July 14-16, 2015</div>
<div><span class="" style="white-space: pre;"></span> (co-located with LOPSTR 2015)</div>
<div><br>
</div>
<div><span class="" style="white-space: pre;"></span> <a href="http://costa.ls.fi.upm.es/ppdp15">http://costa.ls.fi.upm.es/ppdp15</a></div>
<div><span class="" style="white-space: pre;"></span> </div>
<div>======================================================================</div>
<div><br>
</div>
<div><span class="" style="white-space: pre;"></span> SUBMISSION DEADLINE: 20 MARCH, 2015</div>
<br>
<br>
<div>
<div style="font-size: 12.8000001907349px;"><br>
</div>
</div>
<div>PPDP 2015 is a forum that brings together researchers from the</div>
<div>declarative programming communities, including those working in the</div>
<div>logic, constraint and functional programming paradigms, but also</div>
<div>embracing languages, database languages, and knowledge representation</div>
<div>languages. The goal is to stimulate research in the use of logical</div>
<div>formalisms and methods for specifying, performing, and analyzing</div>
<div>computations, including mechanisms for mobility, modularity,</div>
<div>concurrency, object-orientation, security, verification and static</div>
<div>analysis. Papers related to the use of declarative paradigms and tools</div>
<div>in industry and education are especially solicited. Topics of interest</div>
<div>include, but are not limited to</div>
<div><br>
</div>
<div>* Functional programming</div>
<div>* Logic programming</div>
<div>* Answer-set programming</div>
<div>* Functional-logic programming</div>
<div>* Declarative visual languages</div>
<div>* Constraint Handling Rules</div>
<div>* Parallel implementation and concurrency</div>
<div>* Monads, type classes and dependent type systems</div>
<div>* Declarative domain-specific languages</div>
<div>* Termination, resource analysis and the verification of declarative programs</div>
<div>* Transformation and partial evaluation of declarative languages</div>
<div>* Language extensions for security and tabulation</div>
<div>* Probabilistic modeling in a declarative language and modeling reactivity</div>
<div>* Memory management and the implementation of declarative systems</div>
<div>* Practical experiences and industrial application</div>
<div><br>
</div>
<div>This year the conference will be co-located with the 25th</div>
<div>International Symposium on Logic-Based Program Synthesis and</div>
<div>Transformation (LOPSTR 2015).</div>
<div><br>
</div>
<div>The conference will be held in Siena, Italy. Previous symposia were</div>
<div>held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense</div>
<div>(Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain),</div>
<div>Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy),</div>
<div>Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal</div>
<div>(Canada), and Paris (France). You might have a look at the contents of</div>
<div>past PPDP symposia.</div>
<div><br>
</div>
<div>Papers must describe original work, be written and presented in</div>
<div>English, and must not substantially overlap with papers that have been</div>
<div>published or that are simultaneously submitted to a journal,</div>
<div>conference, or workshop with refereed proceedings. Work that already</div>
<div>appeared in unpublished or informally published workshop proceedings</div>
<div>may be submitted (please contact the PC chair in case of questions).</div>
<div><br>
</div>
<div>After the symposium, a selection of the best papers will be invited to</div>
<div>extend their submissions in the light of the feedback solicited at the</div>
<div>symposium. The papers are expected to include at least 30% extra</div>
<div>material over and above the PPDP version. Then, after another round of</div>
<div>reviewing, these revised papers will be published in a special issue</div>
<div>of SCP with a target publication date by Elsevier of 2016.</div>
<div><br>
</div>
<div>Important Dates</div>
<div><br>
</div>
<div> Abstract Submission: <span class="" style="white-space: pre;"> </span> 14 March, 2015</div>
<div> Paper submission: <span class="" style="white-space: pre;"> </span> 20 March, 2015</div>
<div> Notification: <span class="" style="white-space: pre;"> </span> 14 May, 2015</div>
<div> Camera-ready: <span class="" style="white-space: pre;"> </span> To be announced</div>
<div> </div>
<div> Symposium:<span class="" style="white-space: pre;"> </span> 14-16 July, 2015</div>
<div> </div>
<div>Authors should submit an electronic copy of the full paper in</div>
<div>PDF. Papers should be submitted to the submission website for PPDP</div>
<div>2015. Each submission must include on its first page the paper title;</div>
<div>authors and their affiliations; abstract; and three to four</div>
<div>keywords. The keywords will be used to assist the program committee in</div>
<div>selecting appropriate reviewers for the paper. Papers should consist</div>
<div>of the equivalent of 12 pages under the ACM formatting</div>
<div>guidelines. These guidelines are available online, along with</div>
<div>formatting templates or style files. Submitted papers will be judged</div>
<div>on the basis of significance, relevance, correctness, originality, and</div>
<div>clarity. They should include a clear identification of what has been</div>
<div>accomplished and why it is significant. Authors who wish to provide</div>
<div>additional material to the reviewers beyond the 12-page limit can do</div>
<div>so in clearly marked appendices: reviewers are not required to read</div>
<div>such appendices.</div>
<div><br>
</div>
--------------------------------------------------------------------------------------------------------------------------<br>
INVITED SPEAKERS<br>
<br>
Patrick Cousot, New York University, USA (Jointly with LOPSTR)<br>
Martin Hofmann, LMU Munich, Germany<br>
<div>————————————————————————————————————————</div>
<div>Program Committee</div>
<div><br>
</div>
<div> Michael Adams, University of Utah, USA</div>
<div> Puri Arenas, Complutense University of Madrid, Spain</div>
<div> Amir Ben-Amram, Tel-Aviv Academic College, Israel</div>
<div> Ines Castro, Universidade do Porto, Portugal</div>
<div> Patrick Cousot, New York University, USA</div>
<div> Gregory Duck, National University of Singapore, Singapore</div>
<div> Fabio Fioravanti, University of Chieti-Pescara, Italy</div>
<div> Thom Frühwirth, University of Ulm, Germany</div>
<div> Roberto Giacobazzi, University of Verona, Italy</div>
<div> Michael Hanus, CAU Kiel, Germany</div>
<div> Andy King, University of Kent, UK</div>
<div> F. López-Fraguas, Complutense University of Madrid, Spain</div>
<div> Ian Mackie, University of Sussex, UK</div>
<div> Dale Miller, INRIA and LIX/Ecole Polytechnique, France</div>
<div> Torsten Schaub, University of Potsdam, Germany</div>
<div> Tom Schrijvers KU Leuven, Belgium</div>
<div> Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France</div>
<div> German Vidal, Universitat Politecnica de Valencia, Spain</div>
<div> Marina Vos, University of Bath, UK</div>
<div> Nobuko Yoshida, Imperial College London, UK </div>
<div><br>
</div>
<div>Program Chair</div>
<div><br>
</div>
<div> Elvira Albert</div>
<div> Complutense University of Madrid</div>
<div> C/ Profesor Garcia Santesmases</div>
<div> E-28040 Madrid, Spain</div>
<div> Email: <a href="mailto:elvira@sip.ucm.es">elvira@sip.ucm.es</a></div>
<div><br>
</div>
<div>Symposium Chair</div>
<div><br>
</div>
<div> Moreno Falaschi</div>
<div> Department of information engineering and mathematics</div>
<div> University of Siena, Italy</div>
<div> Email: <a href="mailto:moreno.falaschi@unisi.it">moreno.falaschi@unisi.it</a></div>
</body>
</html>