---------------------------------------------------------------------- Apologies for multiple copies ---------------------------------------------------------------------- CALL FOR PARTICIPATION 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 Early registration deadline: December 15th 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. INVITED SPEAKERS Norman Ramsey Harvard University Saumya Debray The University of Arizona ACCEPTED PAPERS Role-based Declarative Synchronization for Reconfigurable Systems Vlad Tanasescu, Pawel Wojciechowski Functional Framework for Sound Synthesis Jerzy Karczmarczuk Improved Fusion for Optimizing Generics Sjaak Smetsers, Artem Alimarine Solving Constraints on Sets of Spatial Objects Jesus M. Almendros-Jimenez, Antonio Corral A Full Pattern-based Paradigm for XML Query Processing Benzaken Véronique, Castagna Giuseppe, Miachon Cédric The Program Inverter LRinv and its Structure Masahiko Kawabe, Robert Glueck Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization James Bailey, Peter Stuckey A Provably Correct Compiler for Efficient Model Checking of Mobile Processes Ping Yang, Yifei Dong, C.R. Ramakrishnan, Scott A. Smolka An Ordered Logic Program Solver Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir Type Class Directives Bastiaan Heeren, Jurriaan Hage Specializing Narrowing for Timetable Generation: A Case Study Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frederic Prost Solving Collaborative Fuzzy Agents Problems with CLP(FD) Susana Munoz-Hernandez, Jose Manuel Gomez-Perez Character-Based Cladistics and Answer Set Programming Daniel Brooks, Esra Erdem, James Minett, Donald Ringe Towards a More Practical Hybrid Probabilistic Logic Programming Framework Emad Saad, Enrico Pontelli Safe Programming with Pointers through Stateful Views Dengping Zhu, Hongwei Xi Improving Memory usage in the BEAM Ricardo Lopes, Vitor Santos-Costa Towards Provably Correct Code Generation via Horn Logical Continuation Semantics Qian Wang, Gopal Gupta, Michael Leuschel CONTACTS Please visit the conference web site: http://www.unm.edu/~herme/padl05/ for further information. 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@utdallas.edu SPONSORED BY: ACM SIGPLAN (applied for), COMPULOG Americas (http://www.cs.nmsu.edu/~complog), The Association for Logic Programming (http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/)