CFP - Practical Aspects of Declarative Languages 2005

From: Manuel Hermenegildo <herme_at_unm.edu>
Date: Fri, 23 Jul 2004 03:18:27 +0200

            [ Apologies if you receive multiple copies. ]
                                   

                     PRELIMINARY CALL FOR PAPERS

                  Seventh International Symposium on
           Practical Aspects of Declarative Languages 2005
                              (PADL 05)

                  http://www.unm.edu/~herme/padl05/

                     Long Beach, California, USA
                         January 10-11, 2005

            Co-located with ACM POPL, January 12-14, 2005

              Paper submission deadline: September 10th


Declarative languages build on sound theoretical foundations to
provide attractive frameworks for application development. These
languages have been successfully applied to a wide array of different
real-world situations, including database management, active networks,
software engineering, decision support systems, or music composition.

New developments in theory and implementation have opened up new
application areas. At the same time, the application of declarative
languages to novel problems raises numerous interesting research
issues. Well-known questions include designing for scalability,
language extensions for application deployment, and programming
environments. Thus, applications often drive the progress in the
theory and implementation of declarative systems, and benefit from
this progress as well.

PADL is a forum for researchers and practioners to present original
work emphasizing novel applications and implementation techniques for
all forms of declarative concepts, including, functional, logic,
constraints, etc. Topics of interest include:

 * Innovative applications of declarative languages.
 * Declarative domain-specific languages and applications.
 * Practical applications of theoretical results.
 * New language developments and their impact on applications.
 * Evaluation of implementation techniques on practical applications.
 * Novel implementation techniques relevant to applications.
 * Novel uses of declarative languages in the classroom.
 * Practical experiences.

PADL 05 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages, and is not limited to the
scope of the first six PADL symposia (past proceedings can be found in
Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, and 3057).

In this occasion PADL is co-located, as traditionally, with ACM POPL,
which will be held immediately following PADL, January 12-14.


IMPORTANT DATES

      Paper Submission: September 10, 2004
      Notification: October 10, 2004
      Camera-ready: November 10, 2004
      Symposium: January 10-11, 2005


SUBMISSION GUIDELINES

Authors should submit an electronic copy of the full paper (written in
English) in Postscript (Level 2) or PDF. Submission should be
completed using the electronic procedure available at the conference
website. Papers must be no longer than 15 pages, written in 11-point
font and with single spacing. Since the final proceedings will be
published as Lecture Notes in Computer Science by Springer Verlag,
authors are strongly encouraged to use the LNCS paper formatting
guidelines for their submission.

Each submission must include on its first page the paper title;
authors and their affiliations; contact author's email and postal
addresses, telephone and fax numbers, abstract, and three to four
keywords. The keywords will be used to assist us in selecting
appropriate reviewers for the paper. If electronic submission is
impossible, please contact the program chairs for information on how
to submit hard copies.


MOST PRACTICAL PAPER AWARD

A cash prize of US$500 will be awarded to the submission that is
judged by the program committee to be the best in terms of
practicality, originality, and clarity of presentation. The program
committee may choose not to make an award; or may make multiple
awards, in which case the award money will be evenly divided.


CONTACTS

Please visit the conference web site:

http://www.unm.edu/~herme/padl05/

for further information.

For additional information about papers and submissions, please
contact the Program Chairs:

    Manuel Hermenegildo (1,2) herme_at_unm.edu, or
    Daniel Cabeza (2) dcabeza_at_fi.upm.es

    1 Departments of Computer Science and Electrical and Computer Engineering
      The University of New Mexico, Albuquerque, NM 87131, U.S.A.

    2 Facultad de Informatica, Universidad Politecnica de Madrid
      28660-Boadilla del Monte, Madrid, Spain

For additional information about the conference please contact the
General Chair:

    Gopal Gupta
    Department of Computer Science
    University at Texas at Dallas, Dallas, TX, U.S.A.
    gupta_at_utdallas.edu


-- 
-----------------------------------------------------------------------------
 Manuel Hermenegildo                   |  University of New Mexico, NM, USA
 Professor, P. of Asturias Chair       |  Office: ECE 219A  
 Depts. of Computer Science and        |  Tel: +1 (505) 277 -9328/-3112 
 Electrical and Computer Engineering   |  http://www.unm.edu/~herme  
-----------------------------------------------------------------------------
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Aug 06 2004 - 10:15:47 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:06 CEST