[Prev][Next][Index][Thread]
PADL'03: First Call for Papers
[
- Paper submission deadline is July 31
- PADL'02 proceedings will be published as Springer Verlag LNCS,
past proceedings can be found in LNCS 1551, 1753 and 1990, and 2257
]
FIRST CALL FOR PAPERS!!!
Fifth International Symposium on
Practical Aspects of Declarative Languages
http://www.cs.utdallas.edu/~gupta/padl03
(PADL '03)
New Orleans, Louisiana, USA
Jan 13-14, 2002
Co-located with POPL 2003
Nothing is so practical as a good theory. Declarative languages build
on sound theoretical bases to provide attractive frameworks for
application development. Declarative approaches to programming include
those based on logic, constraints, functions, and concurrency.
Declarative languages have been successfully applied to a wide variety
of real-world situations, ranging from database management to active
networks to software engineering to decision support systems. New
developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative
languages to novel problems raise research issues. Questions include
designing for scalability, language extensions for application
deployment, and programming environments. Thus, applications drive
the progress in the theory and implementation of declarative systems,
and benefit from this progress as well.
PADL provides a forum for researchers, practitioners, and implementors
of declarative languages to exchange ideas on application areas and
on the requirements for effective deployment of declarative systems.
We invite papers dealing with practical applications of logic,
constraint, functional, and concurrent programming. The scope of
PADL includes, but is not limited to:
o Innovative applications of declarative languages
o Declarative domain-specific languages and applications
o New developments in declarative languages and their impact on applications
o Practical experiences
o Novel uses of declarative languages in the classroom
o Evaluation of implementation techniques on practical applications
o Application letters (Applets) - see below
o Declarative pearls - see below
Papers should highlight the practical contribution of the work and
the relevance of declarative languages to achieve that end.
PADL 2003 will co-locate with ACM POPL 2003, in New Orleans.
Application Letters (Applets)
Real-world users of declarative languages may be so fully occupied
writing declarative programs that they lack the time to write a
full paper describing their work. Conference attendees often hear
only from those developing declarative languages --- the users
are too busy using them. In order to attract greater participation
from users, the conference solicits application letters describing
experience using declarative languages to solve real-world problems.
Such papers might be half the length of a full paper (though any
length up to a full paper is fine), and may be judged by interest
of the application and novel use of declarative languages as opposed
to a crisp new research result.
Declarative Pearls
Program committees traditionally expect a paper to make a contribution
of a certain size. Ideas that are small, rounded, and glow with their
own light may have a number of venues, but conferences are not
typically among them. (Among the outlets have been columns such as
Bentley's Programming Pearls in Communications of the ACM, Rem's
Small Programming Exercises in Science of Computer Programming, and
Barendregt's Theoretical Pearls and Bird's Functional Pearls in the
Journal of Functional Programming.) The conference invites papers that
develop a short declarative program. Such papers might be half the
length of a full paper (though any length up to a full paper is fine),
and may be judged by elegance of development and clarity of expression
as opposed to a crisp new research result.
Important Dates:
o Paper Submission: Jul. 31, 2002
o Notification: Oct. 2, 2002
o Camera Ready: Nov. 6, 2002
o Symposium: Jan. 13-14, 2003
Paper Submission:
Authors should submit a 100-200 word abstract and a full paper,
written in English. Submissions should be no more than 15 pages in
standard Springer-Verlag LNCS format: 122mm x 193mm in 10 point
font, Computer Modern Roman or similar. Submissions that do not meet
these guidelines may not be considered. Style files for Latex and Word
are provided by Springer-Verlag. Papers should be submitted in
PDF format, and be printable on both USLetter and A4 paper; details
of web submission will be posted later. If this requirement is a
hardship, please contact the program chairs. Each submission should
include, on its first page, the paper title; authors and their
affiliations; contact author's email and postal addresses, telephone
and fax numbers; and a 100-200 word abstract. The abstract will be
used to assist us in selecting appropriate reviewers for the paper.
Submitted papers should have content that has not previously been
published in other conferences or refereed venues, and simultaneous
submission to other conferences or refereed venues is unacceptable.
Each paper should explain its contributions in both general and
technical terms, clearly identifying what has been accomplished, saying
why it is significant, and comparing it with previous work. Authors
should strive to make the technical content of their papers
understandable to a broad audience.
Program Committee:
o Lennart Augustsson, Sandburst, USA
o Phillipe Blache, CNRS & Universite de Provence, France
o Veronica Dahl, Simon Fraser University, Canada (PROGRAM CO-CHAIR)
o Ines Dutra, Universidade Federal do Rio de Janeiro, Brazil
o Kathleen Fisher, AT&T Labs, USA
o Matthew Flatt, University of Utah, USA
o Juliana Freire, Bell Laboratories, USA
o Matteo Frigo, Massachusetts Institute of Technology, USA
o Terry Gaasterland, Argonne National Laboratory and University of Chicago, USA
o Alejandro Garcia, Universidad Nacional del Sur, Argentina
o Manuel Hermenegildo, Universidad Politecnica de Madrid, Spain
o John Hughes, Goteborg University, Sweden
o Neil Jones, University of Copenhagen, Denmark
o Shriram Krishnamurthi, Brown University, USA
o Naoki Kobayashi, Tokyo Institute of Technology, Japan
o George Necula, University of California at Berkeley, USA
o Luis Moniz, Pereira Universidade Nova de Lisboa, Portugal
o Paul Tarau, BinNet Corporation and University of North Texas, USA
o Philip Wadler, Avaya Labs, USA (PROGRAM CO-CHAIR)
o David S. Warren, State University of New York at Stony Brook, USA
For more Information, please contact
Philip Wadler Avaya Labs wadler@avaya.com
233 Mount Airy Road, room 2C05 http://www.research.avayalabs.com/user/wadler/
Basking Ridge, NJ 07920 USA office: +1 908 696 5137 fax: +1 908 696 5402
Organizer:
Gopal Gupta (University of Texas at Dallas)
Sponsored by:
Compulog Americas, Association for Logic Programming