PPDP: Principles and Practice of Declarative Programming

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming
Sep 5, 2016 - Sep 7, 2016 Edinburgh, UK May 16, 2016 (May 9, 2016)
PPDP 2015 International Symposium on Principles and Practice of Declarative Programming
Jul 14, 2015 - Jul 16, 2015 Siena (Italy) Mar 20, 2015 (Mar 14, 2015)
PPDP 2014 International Symposium on Principles and Practice of Declarative Programming
Sep 8, 2014 - Sep 10, 2014 Canterbury, Kent (UK) May 15, 2014 (May 12, 2014)
PPDP 2013 15th International Symposium on Principles and Practice of Declarative Programming
Sep 16, 2013 - Sep 18, 2013 Madrid, Spain May 30, 2013 (May 27, 2013)
PPDP 2012 14th International Symposium on Principles and Practice of Declarative Programming
Sep 19, 2012 - Sep 21, 2012 Leuven, Belgium May 31, 2012 (May 28, 2012)
PPDP 2010 The 12th International Symposium on Principles and Practice of Declarative Programming
Jul 26, 2010 - Jul 28, 2010 Hagenberg, Austria Mar 21, 2010 (Mar 15, 2010)
PPDP 2008 Principles and Practice of Declarative Programming
Jul 15, 2008 - Jul 17, 2008 Valencia, Spain Apr 10, 2008
 
 

Present CFP : 2016

======================================================================


Call for papers

18th International Symposium on

Principles and Practice of Declarative Programming

PPDP 2016


Special Issue of Science of Computer Programming (SCP) -tentative-


Edinburgh, UK, September 5-7, 2016

(co-located with LOPSTR and SAS)


http://ppdp16.webs.upv.es/



======================================================================


SUBMISSION DEADLINE: 9 MAY (abstracts) / 16 MAY (papers)


----------------------------------------------------------------------

INVITED SPEAKERS


Elvira Albert, Complutense University of Madrid, Spain


----------------------------------------------------------------------


PPDP 2016 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 26th Int'l Symp.

on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) and

the 23rd Static Analysis Symposium (SAS 2016).


The conference will be held in Edinburgh, UK. Previous symposia were

held at Siena (Italy), 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, http://sites.google.com/site/ppdpconf/


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).


After the symposium, a selection of the best papers will be invited to

extend their submissions in the light of the feedback solicited at the

symposium. The papers are expected to include at least 30% extra

material over and above the PPDP version. Then, after another round of

reviewing, these revised papers will be published in a special issue

of SCP with a target publication date by Elsevier of 2017 (tentative).


Important Dates


Abstract submission: 9 May, 2016

Paper submission: 16 May, 2016

Notification: 20 June, 2016

Final version of papers: 17 July, 2016


Symposium: 5-7 September, 2016



Authors should submit an electronic copy of the full paper in

PDF. Papers should be submitted to the submission website for PPDP

2016. 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


Sandra Alves, University of Porto, Portugal

Zena M. Ariola, University of Oregon, USA

Kenichi Asai, Ochanomizu University, Japan

Dariusz Biernacki, University of Wroclaw, Poland

Rafael Caballero, Complutense University of Madrid, Spain

Iliano Cervesato, Carnegie Mellon University

Marina De Vos, University of Bath, UK

Agostino Dovier, Universita degli Studi di Udine, Italy

Maribel Fernandez, King's College London, UK

John Gallagher, Roskilde University, Denmark, and IMDEA Software Institute, Spain

Michael Hanus, CAU Kiel, Germany

Martin Hofmann, LMU Munchen, Germany

Gerda Janssens, KU Leuven, Belgium

Kazutaka Matsuda, Tohoku University, Japan

Fred Mesnard, Universite de la Reunion, France

Emilia Oikarinen, Finnish Institute of Occupational Health, Finland

Alberto Pettorossi, Universita di Roma Tor Vergata, Italy

Tom Schrijvers, KU Leuven, Belgium

Josep Silva, Universitat Politecnica de Valencia, Spain

Perdita Stevens, University of Edinburgh, UK

Peter Thiemann, Universitat Freiburg, Germany

Frank D. Valencia, CNRS-LIX Ecole Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia

German Vidal, Universitat Politecnica de Valencia, Spain (Program Chair)

Stephanie Weirich, University of Pennsylvania, USA


Program Chair


German Vidal

Universitat Politecnica de Valencia

Camino de Vera, S/N

E-46022 Valencia, Spain

Email: gvidal@dsic.upv.es


Symposium Chair


James Cheney

Informatics Forum 5.29

Laboratory for Foundations of Computer Science

School of Informatics

10 Crichton Street, Edinburgh EH8 9AB, Scotland, UK

Email: jcheney@inf.ed.ac.uk

----------------------------------------------------------------------
 

Related Resources

ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
SLATE 2017   Symposium on Languages, Applications and Technologies
ECML-PKDD 2016   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
Programming 2017   The International Conference on the Art, Science, and Engineering of Programming
PPoPP 2017   22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Ada-Europe 2017   International Conference on Reliable Software Technologies
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PODS 2017   36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning