[TYPES] PPDP 2005 Second Call for Papers

[Amy Felty]

                 Second Call for Papers: PPDP 2005
          Seventh ACM-SIGPLAN International Symposium on
         Principles and Practice of Declarative Programming
                 Lisboa, Portugal, 11-13 July 2005

IMPORTANT DATES
Submission      13 February 2005
Notification     1 April 2005
Final Version    1 May 2005

INVITED SPEAKERS:
Joint ICALP/PPDP
   Giuseppe Castagna (ENS Paris)
   John Mitchell (Stanford University)
PPDP
   Manuel Hermenegildo (Technical University of Madrid,
                        University of New Mexico)

WEB SITES:
PPDP 2005: http://centria.di.fct.unl.pt/conferences/ppdp05/
PPDP 2005 CFP: http://www.site.uottawa.ca/~afelty/ppdp05/
PPDP: http://pauillac.inria.fr/~fages/PPDP/

SCOPE OF THE CONFERENCE: PPDP 2005 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
topic.

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; Programming Environments

PAPER SUBMISSIONS: Papers should be submitted electronically by 13
FEBRUARY 2005 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 (see URL below).  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
considered.

PROCEEDINGS: Proceedings will be published by ACM Press.  ACM
formatting guidelines are available online, along with formatting
templates or style files for LaTeX, Word Perfect, and Word:
  http://www.acm.org/sigs/pubs/proceed/template.html.
Authors of accepted papers will be required to sign the ACM copyright
form.

RELATED EVENTS: PPDP 2005 will be co-located with the 32nd
International Colloquium on Automata, Languages and Programming (ICALP
2005), which will take place 11-15 July 2005.  See
http://icalp05.di.fct.unl.pt for more information.

CONFERENCE CHAIR: Pedro Barahona, Universidade Nova de Lisboa,
web: http://centria.di.fct.unl.pt/~pb, email: pb at di.fct.unl.pt

PROGRAM CHAIR: Amy Felty, University of Ottawa,
web: http://www.site.uottawa.ca/~afelty, email: afelty at site.uottawa.ca

PROGRAM COMMITTEE:
Pedro Barahona (Univ. Nova de Lisboa, Portugal)
Gopal Gupta (Univ. Texas at Dallas, USA)
Michael Hanus (Univ. Kiel, Germany)
Kohei Honda (Queen Mary & Westfield Coll., UK)
Michael Maher (National ICT, Australia)
Maria Chiara Meo (Univ. G. D'annunzio, Italy)
Gopalan Nadathur (Univ. Minnesota, USA)
Atsushi Ohori (JAIST, Japan)
Carsten Schuermann (Yale Univ., USA)
German Vidal (Technical Univ. Valencia, Spain)
Joe Wells (Heriot-Watt Univ., UK)
Elena Zucca (Univ. Genova, Italy)

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