PADL'00: Call for Participation

[Apologies if you receive multiple copies of this message]


- Registration and Hotel information are now available in the
	workshop's web page

- Advance Program now available in the workshop's web page

- three excellent invited speakers

            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 
- David Hislop (US Army Research Lab) 
- Peter Lee (Carnegie Mellon University) 
- I. V. Ramakrishnan (SUNY Stony Brook)

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. Yunes, 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 175 US$ for ACM members and of 200
US$ for non-ACM members. After Dec. 12th the fee will be of 200 US$
for ACM members and of US$ 225 for others. 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 Copley Plaza Hotel can be 
found at:


Deadline for hotel reservation is Dec. 16th. The hotel will provide
the same accommodation rate offered to ACM POPL participants. Hotel
reservation information are available in the workshop's web page.

 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.