CALL FOR PAPERS Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 (PADL'10) http://clip.dia.fi.upm.es/Conferences/PADL-2010 Madrid, Spain 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 PDF, in the Springer LNCS format (see http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). 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 research 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 (Universidad Politécnica de Madrid, Spain) Ricardo Peña (Universidad Complutense de Madrid, Spain) Program Committee María Alpuente (Universidad Politécnica de Valencia, Spain) Lennart Augustson (Standard Chartered Bank and Chalmers University of Technology, Sweden) Olaf Chitil (University of Kent, UK) María García de la Banda (Monash University, Australia) Andy Gill (The University of Kansas, USA) Haifeng Guo (University of Nebraska at Omaha, USA) Martin Hofmann (Ludwig-Maximilians Universität, Germany) Andy King (Portcullis Computer Security Limited, UK) 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 Universidad Politécnica de 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 Universidad Politécnica de 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