[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Initial Call for Papers: PADL 2010




[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
			      (PADL'10)

           http://clip.dia.fi.upm.es/Conferences/PADL-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.

IMPORTANT DATES 

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


SUBMISSION GUIDELINES

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 http://www.springeronline.com/lncs/ ).  The submission will be
done through EasyChair at the URL
http://www.easychair.org/conferences/?conf=padl10 .

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
awards.

PROGRAM COMMITTEE

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)

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


WITH THE COOPERATION OF:

    The University of Texas at Dallas
    ACM Sigplan (Pending)