----------------------------------------------------------------------
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.
[EMAIL PROTECTED]
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/)
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
