PADL'00: Call for Participation

            Second International Workshop on
   Practical Aspects of Declarative Languages (PADL'00)
                    Boston, Massachusets
                     Jan. 17-18, 2000, 

		(Co-located with POPL 2000)

              Sponsored by COMPULOG AMERICAS 
    	    Association for Logic Programming


We invite you to attend the Second International Workshop on the
Practical Aspects of Declarative Languages (PADL'00), co-located with

Declarative languages build on sound theoretical basis to provide
attractive frameworks for application development. Indeed, these
languages have been successfully applied to vastly different
real-world situations. Building on the success of PADL'99, PADL'00
aims at contributing to the further expansion of these languages by
providing a forum where researchers can discuss both discuss
real-world, practical issues in the implementation of declarative
languages and present novel applications.

The workshop will include invited talks by 
Peter Lee and I. V. Ramakrishnan. The following contributed papers
will be presented at PADL'00:

* A Logic-based Information System
	S. Abreu
* Labeling and Partial Local Consistency for Soft Constraint
	S. Bistarelli, P. Codognet, Y. Georget, F. Rossi
* Out-of-core Functional Programming with Type-based Primitives
	T.R Chuang, S.C. Mu
* Heap Garbage Collection in XSB: Practice and Experience
	B. Demoen and K. Sagonas
* GNU Prolog: Beyond Compiling to C
	D. Diaz, P. Codognet
* Knowledgesheet: a graphical spreadsheet interface for interactively
developing constraint programs
	G. Gupta and S. Akhter
* A Functional Logic Programming Approach to GUI
	M. Hanus
* A Toolkit for Constraint-based Inference Engines
	M. Henz and C.T. Yong
* Metalevel Constraint Solving In CLIP
	T.J. Hickey (USA)
* HIPPO: a declarative Graphical Modelling System
	C.J. Hinde, R.J. Reader, K. Phelps
* Calculating a New Data Mining Algo. for Marked based Analysis
	Z. Hu, W-N. Chin, M. Takeichi
* Transformation by Example for XML
	S. Krishnamurthi, K. Gray, P. Graunke
* Using Static Analysis to Compile Non-sequential Functional Logic
	J. Marino and J. Moreno-Navarro
* How to Incorporate Negation in a Prolog compiler
	J. Moreno-Navarro, S. Munoz-Hernandez
* Parallel Functional Reactive Programming
	J. Peterson and V. Trifonov
* Programming Deep Concurrent Constraint Combinators
	C. Schulte
* Modeling HTML in Haskell
	P. Thiemann
* First Class Patterns
	M. Tullsen
* A Logic Programming Approach to Supporting Entry of XML documents
into Object Oriented Database
	C. L. Yeh
* A Hybrid Approach for Solving Large Scale Crew Scheduling Problems
	T. Ynes, A. Moura, C de Souza
* Implementation of a Linear Tabling Mechanism
	N.F. Zhou, Y.D. Shen, L.Y. Yuan, J.H. You

   * Deadline for early registration: December 12, 1999
   * Workshop dates: January 17-18, 2000

The registration fee for PADL'00 is 200 US$; the fee
includes coffee and tea services as well as a copy of the
workshop proceeding, to be published in Springer Verlag's LNCS series.
To register please access the workshop web site:

PADL'00 will be co-located with POPL'00 at the Fairmont Hotel, Boston,
USA. More information on the Boston Fairmont Hotel can be found at:


 S. Debray, University of Arizona (USA)
 B. Demoen, Katholieke Universiteit Leuven (Belgium)
 I. Dutra, Federal University of Rio de Janeiro (Brasil)
 C. Elliott, Microsoft (USA)
 M. Fahndrich, Microsoft (USA)
 M. Felleisen, Rice University (USA)
 G. File, Universita' di Padova (Italy)
 G. Gupta, New Mexico State University (USA)
 C. Hankin, Imperial College (UK)
 D. Hislop, U.S. Army Research Office (USA)
 P. Hudak, Yale University (USA)
 R. Kieburtz, Oregon Graduate Institute (USA)
 P. Lopez-Garcia, Universidad Politecnica de Madrid (Spain)
 L. Naish, University of Melbourne (Australia)
 E. Pontelli, New Mexico State University (USA)
 I.V. Ramakrishnan, SUNY Stonybrook (USA)
 V. Santos Costa, Universidade do Porto (Portugal)
 F. Silva, Universidade do Porto (Portugal)
 P. Van Roy, Universite Catholique de Louvain (Belgium)
 M. Wallace, Imperial College (UK)
 M. Wand, Northeastern University (USA)
 N-F. Zhou, Kyushu Institute of Technology (Japan)

PADL'00 is sponsored by COMPULOG AMERICAS
(http://www.cs.nmsu.edu/~complog) and by the 
Association for Logic Programming. 
PADL'00 is organised incooperation with ACM SIGPLAN.