[Agda] PPDP 2013: Call for Papers

Steven Keuchel steven.keuchel at gmail.com
Mon Mar 18 10:54:31 CET 2013


                         Call for papers
               15th International Symposium on
       Principles and Practice of Declarative Programming
                           PPDP 2013

	Special Issue of Science of Computer Programming (SCP)

            Madrid, Spain, September 16-18, 2013
                 (co-located with LOPSTR 2013)



PPDP 2013 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 a variety of other
paradigms such as visual programming, executable specification 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 analysing 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 modelling in a declarative language and modelling reactivity
*	Memory management and the implementation of declarative systems
*	Practical experiences and industrial application

This year the conference will be co-located with the 23nd International
Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013) and
held in cooperation with ACM SIGPLAN.  The conference will be held in Madrid,
Spain. Previous symposia were held at 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).

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).  Proceedings will be published by ACM Press*

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

Important Dates

	Abstract Submission: 		May 27, 2013
	Paper submission: 		May 30, 2013
	Notification: 			July 4, 2013
	Camera-ready: 			July 21, 2013

	Symposium: 			September 16-18, 2013

	Invites for SCP: 		October 2, 2013
	Submission of SCP: 		December 11, 2013
	Notification from SCP: 		February 22, 2014
	Camera-ready for SCP: 		March 14, 2014

Authors should submit an electronic copy of the paper (written in English) in
PDF.  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 us in selecting appropriate reviewers for the paper. Papers
should consist of no more than 12 pages, formatted following the ACM SIG
proceedings template (option 1). The 12 page limit must include references but
excludes well-marked appendices not intended for publication. Referees are not
required to read the appendices, and thus papers should be intelligible without

Program Committee

Sergio Antoy               Portland State University, USA
Manuel Carro               IMDEA Software Institute, Spain
Iliano Cervesato           Carnegie Mellon University, Qatar
Agostino Dovier            Universita degli Studi di Udine, Italy
Maria Garcia de la Banda   Monash University, Australia
Ralf Hinze                 University of Oxford, UK
Yukiyoshi Kameyama         University of Tsukuba, Japan
Oleg Kiselyov              USA
Yanhong Annie Liu          State University of New York at Stony Brook, USA
Stefan Monnier             Universite de Montreal, Canada
Alan Mycroft               University of Cambrige, UK
Bruno C. d. S. Oliveira	   National University of Singapore, Singapore
Alberto Pettorossi         Universita di Roma Tor Vergata, Italy
Enrico Pontelli            New Mexico State University, USA
Kristoffer Rose            IBM Research, USA
Sukyoung Ryu               KAIST, South Korea
Vitor Santos Costa         University of Porto, Portugal
Torsten Schaub             University Potsdam, Germany
Tom Schrijvers             Ghent University, Belgium
Martin Sulzmann            Hochschule Karlsruhe, Germany
Wouter Swierstra           Universiteit Utrecht, The Netherlands
Tarmo Uustalu              Institute of Cybernetics, Estonia
Janis Voigtlaender         University of Bonn, Germany
Meng Wang                  Chalmers University of Technology, Sweden
Jan Wielemaker             Universiteit van Amsterdam, The Netherlands

Program Chair

    Tom Schrijvers
    Department of Applied Mathematics and Computer Science
    Ghent University
    9000 Gent, Belgium

General Chair

    Ricardo Pena
    Facultad de Informatica
    Universidad Complutense de Madrid
    28040 Madrid, Spain

* Confirmation pending
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130318/401a1d38/attachment-0001.html

More information about the Agda mailing list