[TYPES] PADL 2005: Call for participation

[dcabeza at fi.upm.es]

----------------------------------------------------------------------
                    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 at 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/)