Initial Call for Papers: PADL 2010

From: Manuel Carro <>
Date: Sun, 07 Jun 2009 20:50:52 +0200

[We apologize in advance for the reception of duplicate messages]
[Please feel free to redistribute to interested colleagues]

                           CALL FOR PAPERS

                 Twelfth International Symposium on
           Practical Aspects of Declarative Languages 2010


                      Pasadena, California, USA
                         January 18-19, 2010

                     Co-located with ACM POPL'10

Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages
have been successfully applied to many different real-world
situations, ranging from data base 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 numerous interesting research
issues. Well-known 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 is a forum for researchers and practitioners 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, but are not limited to:

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

PADL'10 welcomes new ideas and approaches pertaining to applications
and implementation of declarative languages. PADL'10 will be
co-located with POPL 2010.


      Abstract submission: August 31, 2009
      Paper Submission: September 4, 2009
      Notification: October 5, 2009
      Camera-ready: October 26, 2009
      Symposium: January 18-19, 2010


Authors should submit an electronic copy of the full paper (written in
English) in Postscript (Level 2) or PDF, in the Springer LNCS format
(see ). The submission will be
done through EasyChair at the URL .

PADL'10 will accept both technical and application papers.

Technical Papers

Technical papers must describe original, previously unpublished
results, and must not be simultaneously submitted for publication
elsewhere. Each submission must be written in English, and include
three to four keywords, which will be used to assist us in selecting
appropriate reviewers for the paper. Submissions must not exceed 15
pages in Springer LNCS format.

Application Papers

Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or in
areas of research other than computer science. Application papers
will be published in the Springer-Verlag conference proceedings, and
will be presented in a separate session.

Application papers, are expected to describe complex and/or real-world
applications that rely on an innovative use of declarative languages.
Application descriptions, engineering solutions and real-world
experiences (both positive and negative) are solicited.

The limit for application papers is 3 pages in Springer LNCS format.

Most Practical Paper Award

The Most Practical Paper award will be given to the technical
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 to make multiple


Program Committee Chairs

   Manuel Carro (Technical University of Madrid, Spain)
   Ricardo Peña (Universidad Complutense de Madrid, Spain)

Program Committee (not yet complete)

   María Alpuente (Universidad Politécnica de Valencia, Spain)
   Olaf Chitil (University of Kent, UK)
   María García de la Banda (Monash University, Australia)
   Haifeng Guo (University of Nebraska at Omaha, USA)
   Martin Hofmann (Ludwig-Maximilians Universität, Germany)
   John Launchbury (Galois, USA)
   Rita Loogen (Philipps-Universität Marburg, Germany)
   Erik Meijer (Microsoft Research, UK)
   Enrico Pontelli (New Mexico State University, USA)
   Vítor Santos Costa (Universidade do Porto, Portugal)
   Terrance Swift (CENTRIA, Portugal)
   Paolo Torroni (Università di Bologna, Italy)
   Roland Yap (National University of Singapore, Singapore)

     For information about papers and submissions, please contact a
     Program Chair:

          Manuel Carro
          PC co-Chair - PADL 2010
          School of Computer Science
          Technical University of Madrid
          Campus de Montengancedo
          E-28660 Boadilla del Monte, Spain
          Email: mcarro <AT> fi<DOT>upm<DOT>es

          Ricardo Peña
          PC co-Chair - PADL 2010
          Facultad de Informática
          Universidad Complutense de Madrid
          c/ Profesor José García Santesmases s/n
          E-28040 Madrid, Spain
          Email: ricardo <AT> sip<DOT>ucm<DOT>es

     For other information about the conference, please contact:
          Manuel Carro
          General Chair - PADL 2010
          School of Computer Science
          Technical University of Madrid
          Campus de Montengancedo
          E-28660 Boadilla del Monte, Spain
          Email: mcarro <AT> fi<DOT>upm<DOT>.es


    The University of Texas at Dallas
    ACM Sigplan (Pending)

curry mailing list
Received on Mo Jun 08 2009 - 11:27:01 CEST

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