<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
===========================<br class="">
PPDP 2021 Deadline extension <br class="">
===========================<br class="">
<br class="">
23rd International Symposium on<br class="">
Principles and Practice of Declarative Programming<br class="">
<br class="">
6–8 September 2021, Tallinn, Estonia<br class="">
<br class="">
<a href="http://imft.ftn.uns.ac.rs/PPDP2021" class="">http://imft.ftn.uns.ac.rs/PPDP2021</a><br
class="">
<br class="">
Collocated with LOPSTR 2021<br class="">
<br class="">
<a href="http://cs.ioc.ee/ppdp-lopstr21/" class="">http://cs.ioc.ee/ppdp-lopstr21/</a><br
class="">
<br class="">
===================================
<div class="">*** PPDP 2021 will be held as a hybrid meeting, both
in-person and virtual***</div>
<div class=""><br class="">
Important Dates<br class="">
---------------------<br class="">
<br class="">
- ***18.05.2021 title and abstract submission (extended)<br
class="">
- ***25.05.2021 paper submission (extended)
<br class="">
- 29.06.2021 rebuttal period (48 hours)<br class="">
- 09.07.2021 notification <br class="">
- 23.07.2021 final paper <br class="">
- 06.09.2021 conference starts <br class="">
<br class="">
About PPDP<br class="">
----------<br class="">
<br class="">
The PPDP 2021 symposium brings together researchers from the<br
class="">
declarative programming communities, including those working in
the<br class="">
functional, logic, answer-set, and constraint handling programming<br
class="">
paradigms. The goal is to stimulate research in the use of logical<br
class="">
formalisms and methods for analyzing, performing, specifying, and<br
class="">
reasoning about computations, including mechanisms for
concurrency,<br class="">
security, static analysis, and verification.<br class="">
<br class="">
Scope<br class="">
-----<br class="">
<br class="">
Submissions are invited on all topics related to declarative
programming,<br class="">
from principles to practice, from foundations to applications. <br
class="">
Topics of interest include, but are not limited to<br class="">
<br class="">
- Language Design: domain-specific languages; interoperability;<br
class="">
concurrency, parallelism and distribution; modules; functional<br
class="">
languages; reactive languages; languages with objects; languages
for<br class="">
quantum computing; languages inspired by biological and chemical<br
class="">
computation; metaprogramming.<br class="">
<br class="">
- Declarative languages in artificial intelligence: logic
programming;<br class="">
database languages; knowledge representation languages;<br
class="">
probabilistic languages; differentiable languages.<br class="">
<br class="">
- Implementations: abstract machines; interpreters; compilation;<br
class="">
compile-time and run-time optimization; memory management.<br
class="">
<br class="">
- Foundations: types; logical frameworks; monads and effects;
semantics.<br class="">
<br class="">
- Analysis and Transformation: partial evaluation; abstract
interpretation;<br class="">
control flow; data flow; information flow; termination analysis;
resource<br class="">
analysis; type inference and type checking; verification;
validation;<br class="">
debugging; testing.<br class="">
<br class="">
- Tools and Applications: programming and proof environments;<br
class="">
verification tools; case studies in proof assistants or
interactive<br class="">
theorem provers; certification; novel applications of declarative<br
class="">
programming inside and outside of CS; declarative programming<br
class="">
pearls; practical experience reports and industrial application;<br
class="">
education.<br class="">
<br class="">
The PC chair will be happy to advise on the appropriateness of a
topic.<br class="">
<br class="">
Submission web page<br class="">
---------------------<br class="">
<br class="">
<a href="https://easychair.org/conferences/?conf=ppdp2021"
class="">https://easychair.org/conferences/?conf=ppdp2021</a><br
class="">
<br class="">
<br class="">
Submission Categories<br class="">
---------------------<br class="">
<br class="">
Submissions can be made in three categories:<br class="">
<br class="">
- Research Papers,<br class="">
- System Descriptions,<br class="">
- Experience Reports.<br class="">
<br class="">
Submissions of Research Papers must present original research
which is<br class="">
unpublished and not submitted elsewhere. They must not exceed 12
pages<br class="">
ACM style 2-column (including figures, but excluding
bibliography).<br class="">
Work that already appeared in unpublished or informally<br
class="">
published workshop proceedings may be submitted (please contact
the PC<br class="">
chair in case of questions). Research papers will be judged on<br
class="">
originality, significance, correctness, clarity, and readability.<br
class="">
<br class="">
Submission of System Descriptions must describe a working system
whose<br class="">
description has not been published or submitted elsewhere. They
must not exceed<br class="">
10 pages and should contain a link to a working system. System
Descriptions must<br class="">
be marked as such at the time of submission and will be judged on
originality,<br class="">
significance, usefulness, clarity, and readability.<br class="">
<br class="">
Submissions of Experience Reports are meant to help create a body
of published,<br class="">
refereed, citable evidence where declarative programming such as
functional,<br class="">
logic, answer-set, constraint programming, etc., is used in
practice. They must<br class="">
not exceed 5 pages **including references**. Experience Reports
must be marked<br class="">
as such at the time of submission and need not report original
research results.<br class="">
They will be judged on significance, usefulness, clarity, and
readability.<br class="">
<br class="">
Supplementary material may be provided via a link to an extended<br
class="">
version of the submission (recommended), or in a clearly marked
appendix<br class="">
beyond the above-mentioned page limits. Reviewers are not required
to<br class="">
study extended versions or any material beyond the respective page<br
class="">
limit.<br class="">
<br class="">
Formating Guidelines<br class="">
----------------------------<br class="">
<br class="">
We plan to use the same publication arrangements as PPDP has had
in previous years.<br class="">
<br class="">
For each paper category, you must use the most recent version of
the "Current<br class="">
ACM Master Template" which is available at<br class="">
<<a
href="https://www.acm.org/publications/proceedings-template"
class="">https://www.acm.org/publications/proceedings-template</a>>.
The most recent version<br class="">
at the time of writing is 1.75. You must use the LaTeX sigconf
proceedings<br class="">
template as the conference organizers are unable to process final
submissions in<br class="">
other formats. In case of problems with the templates, contact
ACM's TeX support<br class="">
team at Aptara <<a href="mailto:acmtexsupport@aptaracorp.com"
class="">acmtexsupport@aptaracorp.com</a>>.<br class="">
<br class="">
Authors should note ACM's statement on author's rights (<a
href="http://authors.acm.org/" class="">http://authors.acm.org/</a>)<br
class="">
which apply to final papers. Submitted papers should meet the
requirements of<br class="">
ACM's plagiarism policy<br class="">
(<a
href="http://www.acm.org/publications/policies/plagiarism_policy"
class="">http://www.acm.org/publications/policies/plagiarism_policy</a>).<br
class="">
<br class="">
Requirements for Publication<br class="">
----------------------------<br class="">
<br class="">
At least one author of each accepted submission will be expected
to<br class="">
attend and present the work at the conference. The PC chair may
retract<br class="">
a paper that is not presented. The PC chair may also retract a
paper if<br class="">
complaints about the paper's correctness are raised which cannot
be<br class="">
resolved by the final paper deadline.<br class="">
<br class="">
<br class="">
Program Committee<br class="">
-----------------------------<br class="">
<br class="">
Zena Ariola, University of Oregon, USA<br class="">
Nick Benton, Facebook, UK<br class="">
Małgorzata Biernacka, University of Wroclaw, Poland<br class="">
James Cheney, The University of Edinburgh, UK<br class="">
Stefania Dumbrava, ENSIIE Paris-Evry, France<br class="">
Silvia Ghilezan, University of Novi Sad & Mathematical
Institute SASA, Serbia <br class="">
Hugo Herbelin, INRIA, France<br class="">
Cosimo Laneve, University of Bologna, Italy<br class="">
Pierre Lescanne, ENS de Lyon, France<br class="">
Ugo de’Liguoro, University of Torino, Italy<br class="">
Francesca A. Lisi, University of Bari, Italy<br class="">
Yanhong Annie Liu, Stony Brook University, USA<br class="">
Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil<br
class="">
Yukiyoshi Kameyama, University of Tsukuba, Japan<br class="">
Petar Maksimović, Imperial College, London, UK<br class="">
Yutaka Nagashima, Yale-NUS College, Singapore & University of
Innsbruck, Austria<br class="">
Aleksandar Nanevski, IMDEA Software Institute, Spain<br class="">
Vivek Nigam, fortiss GmbH, Germany & Federal University of
Paraíba, Brazil<br class="">
Jorge A. Pérez, University of Groningen, The Netherlands<br
class="">
Sanjiva Prasad, Indian Institute of Technology Delhi, India<br
class="">
Alexis Saurin, CNRS, Université de Paris & INRIA , France<br
class="">
Tom Schrijvers , KU Leuven, The Netherlands<br class="">
Paul Tarau, University of North Texas, USA<br class="">
Tarmo Uustalu, Reykjavik University, Island & Tallinn
University of Technology, Estonia<br class="">
<br class="">
------------------------- --------------------
---------------------<br class="">
Program committee co-chair: Nick Benton, Facebook, UK<br class="">
Program committee co-chair: Silvia Ghilezan, University of Novi
Sad & Mathematical Institute SASA, Serbia<br class="">
Organising committee chair: Niccolò Veltri, Tallinn University of
Technology, Estonia<br class="">
Steering committee chair: James Cheney, Edinburgh University, UK<br
class="">
------------------------- --------------------
---------------------<br class="">
<br class="">
All questions about submissions should be emailed to the program
chair Silvia Ghilezan <<a href="mailto:gsilvia@uns.ac.rs"
class="">gsilvia@uns.ac.rs</a>>.<br class="">
All questions about local information should be emailed to the
local organiser Niccolò Veltri <<a
href="mailto:niccolo@cs.ioc.ee" class="">niccolo@cs.ioc.ee</a>>.</div>
</body>
</html>