This call is available in
Call for Papers PPDP'04
Sixth ACM-SIGPLAN Symposium on
Principles and Practice of Declarative Programming
Verona, Italy, 24-26 August 2004
Previous PPDP Conferences:
Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003).
Intent to Submit 28 March 2004 Tue 24|Wed 25|Thu 26|Fri 27|Sat 28
Submission 4 April 2004 PPDP |PPDP |PPDP | |
Notification 2 May 2004 PEPM |PEPM |LOPSTR|LOPSTR|LOPSTR
Final Version 20 June 2004 | |SAS |SAS |SAS
E.Moggi, Univ. of Genova.
R.Giacobazzi and F.Spoto, Univ. of Verona.
David S. Warren,
Univ. of New York at Stony Brook & XSB Inc.
Danny De Schreye (Katholieke Univ. Leuven, BE),
Thom Fruehwirth (Ulm Univ., DE),
Maurizio Gabbrielli (Bologna Univ., IT),
Maria Garcia de la Banda (Monash Univ., AU),
Barat Jayaraman (Buffalo Univ., US),
Claude Kirchner (LORIA & INRIA, FR),
Michael Leuschel (Southampton Univ., UK),
Eugenio Moggi (Genova Univ., IT),
Brigitte Pientka (McGill Univ., CA),
Enrico Pontelli (New Mexico State Univ., US),
Francesca Rossi (Padova Univ., IT),
Konstantinos Sagonas (Uppsala Univ., SE),
Vitor Santos Costa (Univ. Federal do Rio de Janeiro, BR),
Taisuke Sato (Tokyo Inst. of Tech., JP),
Terrance Swift (Stony Brook Univ. & XSB Inc., US),
Philip Wadler (Edinburgh Univ., UK).
Scope of the Conference
PPDP 2004 aims to provide a forum that brings together those in the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms. The goal is
to stimulate research in the use of logical formalisms and methods
for specifying, performing, and analyzing computations, and to
stimulate cross-fertilization by including work from one community
that could be of particular interest and relevance to the others.
Topics of more specific interest are enhancements to such formalisms
with mechanisms for mobility, modularity, concurrency,
object-orientation, and static analysis, as well as the fuller
exploitation of the programming-as-proof-search framework through new
designs and improved implementation methods. At the level of
methodology, the use of logic-based principles in the design of tools
for program development, analysis, and verification relative to all
declarative paradigms is of interest. Papers related to the use of
declarative paradigms and tools in industry and education are
especially solicited. This list is not exhaustive: submissions
related to new and interesting ideas relating broadly to declarative
programming are encouraged. Prospective authors are encouraged to
communicate with the Program Chair about the suitability of a
Topics (Not exhaustive)
Logic, Constraint, and Functional Programming; Applications of
Declarative Programming; Methodologies for Program Design and
Development; Declarative aspects of Object-Oriented Programming;
Concurrent Extensions to declarative languages; Declarative Mobile
Computing; Integration of Paradigms; Proof Theoretic and Semantic
Foundations; Type and Module Systems; Program Analysis and
Verification; Program Transformation; Abstract Machines and
Compilation; and Programming Environments.
You are asked to indicate by 28 March 2004 an intention to
submit, consisting of Title, Author(s).
Papers should be submitted electronically by 4 April 2004 via
the symposium's Web page. Acceptable formats are PostScript or PDF,
viewable by gv. Submissions should not exceed 12 pages (including
bibliography and appendices) in standard ACM conference format.
They must be written in English, must have a cover page with an
abstract of up to 200 words, keywords, postal and electronic mailing
addresses, and phone and fax numbers of the corresponding author.
Evaluation of Submissions
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
They must describe original, previously unpublished work that has
not been simultaneously submitted for publication elsewhere.
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. Submissions that
do not meet these guidelines may not be considered.
Conference Venue and Related Events
PPDP'04 will take place in a centrally located facility provided by
Univ.of Verona, and is scheduled in co-location with 3 other
Verona is among the most important historical and artistic town in
Italy, with more than two thousand years of history. During the
Roman Empire it was a political and commercial centre, whose
magnificent traces can still be seen in the Arena and the Roman
Theatre. The city has always been synonymous with culture, nowadays
it attracts people from everywhere thanks to the Arena, the myth of
Romeo and Juliet and its precious beauty. PPDP'04 has been scheduled
at the end of August 2004, so that participants may also appreciate
the cultural events in town, such as the opera at the Arena and other
open air concerts and happenings.
Verona has an international airport, and can be reached also from
Venice and from Milan in less than 2 hours.
Proceedings will be published by ACM Press.
ACM formatting guidelines are available at
http://www.acm.org/sigs/pubs/proceed/template.html, along with
formatting templates or style files for LaTeX, Word Perfect, and Word.
Authors of accepted papers will be required to sign the ACM copyright