PPDP 2004: 1st Call for Papers

Fausto Spoto fausto.spoto at univr.it
Wed Dec 17 14:02:34 EST 2003

                Preliminary Call for Papers PPDP'04
	          Sixth ACM-SIGPLAN Symposium on
         Principles and Practice of Declarative Programming
		  Verona, Italy, 24-26 August 2004
	   (co-located with LOPSTR'04, PEPM'04 and SAS'04)

Intent to Submit     28 March 2004
Submission	      4 April 2004
Notification	      2 May   2004
Final Version	     20 June  2004

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 specific

TOPICS (Non-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.

centrally located facility provided by Univ.of Verona, and is
scheduled in co-location with 3 other conferences.

 Tue 24 Wed 25 Thu 26 Fri 27 Sat 28
 PPDP   PPDP   PPDP          
               SAS    SAS    SAS

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

Verona has an international airport, and can be reached also from
Venice and from Milan in less than 2 hours.

SUBMISSION GUIDELINES: 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 significant.  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

PROCEEDINGS: 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

PC CHAIR: David S. Warren, Univ. of New York at Stony Brook & XSB Inc.
email: warren at cs.sunysb.edu  web: http://www.cs.sunysb.edu/~warren/

PROGRAM COMMITTEE: To be determined

CONF. CHAIR: E.Moggi, Univ. of Genova.

LOCAL CHAIRS: R.Giacobazzi and F.Spoto, Univ. of Verona.

PREVIOUS PPDP CONFERENCES: Paris (1999), Montreal (2000), Firenze (2001),
Pittsburgh (2002), Uppsala (2003).

More information about the Types-list mailing list