posted by user: lauramcastro || 1247 views || tracked by 11 users: [display]

PPDP 2015 : International Symposium on Principles and Practice of Declarative Programming


Conference Series : Principles and Practice of Declarative Programming
When Jul 14, 2015 - Jul 16, 2015
Where Siena (Italy)
Abstract Registration Due Mar 14, 2015
Submission Deadline Mar 20, 2015
Notification Due May 14, 2015

Call For Papers

============= First Call for papers =========================================

17th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2015

Siena, Italy, July 14-16, 2015
(co-located with LOPSTR 2015)



PPDP 2015 is a forum that brings together researchers from the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to

* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application

This year the conference will be co-located with the 25th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2015).

The conference will be held in Siena, Italy. Previous symposia were
held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense
(Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain),
Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy),
Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal
(Canada), and Paris (France). You might have a look at the contents of
past PPDP symposia.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).

Important Dates

Abstract Submission: 14 March, 2015
Paper submission: 20 March, 2015
Notification: 14 May, 2015
Camera-ready: To be announced

Symposium: 14-16 July, 2015

Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2015. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.

Program Committee


Program Chair

Elvira Albert
Complutense University of Madrid
C/ Profesor Garcia Santesmases
E-28040 Madrid, Spain

Symposium Chair

Moreno Falaschi
Dipartimento di Ingegneria dell’Informazione e Scienze Matematiche
University of Siena, Italy

Related Resources

PPDP 2016   18th International Symposium on Principles and Practice of Declarative Programming
ECML-PKDD 2016   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
PPoPP 2017   22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
ECML/PKDD PhD Track 2016   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PODC 2016   ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation
ASPLOS 2017   22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems
PODS 2017   36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems