PADL'00

[Compulog Americas]

[Apologies if you receive multiple copies of this message]


News:

- deadline for Hotel reservation and reduced registration
	is near - January 4th.

- three excellent invited speakers:
 	David Hislop (U.S. Army Research Office):
	  "From Programming to Software Engineering"
	Peter Lee (CMU) :
	  "Production-Quality Proof-Carrying Code"
	I.V. Ramakrishnan (SUNY Stony Brook):
	  "Current Trends in Logic Programming:
				Prospects and Promises"

- Hotel reservation and registration deadlines have been
	*extended*; the new deadline is Jan. 4th. But be
	aware that space is going fast, so you are encouraged
	to place your reservation asap.
	The toll free number for reservations
	is 1-800-527-4727. If you have any problem with this
	number (e.g., you are calling from outside the US) you
	can call +1-617-267-5300 and ask for in-house reservations.
	We have requested some additional rooms at reduced rate
	also for Saturday night (considering that it may be cheaper
	for many to include a saturday stay in their flight).
	Remember to ask for the reduced rate for PADL'00 organized
	by the Logic Programming Research Association.

	We have also set up a bulletin board at the workshop
	web page, for people to exchange various kind of messages
	(e.g., search for accommodations).

- Registration and Hotel information are now available in the
	workshop's web page
	http://www.cs.nmsu.edu/~complog/conferences/padl00

- Advance Program available in the workshop's web page


------------------------------------------------------------------
            Second International Workshop on
   Practical Aspects of Declarative Languages (PADL'00)
                    Boston, Massachusets
                     Jan. 17-18, 2000,
    http://www.cs.nmsu.edu/~complog/conferences/padl00

		(Co-located with POPL 2000)

              Sponsored by COMPULOG AMERICAS
			and
    	    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
POPL'00.

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
real-world, practical issues in the implementation of declarative
languages and present novel applications.

PROGRAM
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
Programming
	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
Programs
	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

IMPORTANT DATES
   * Deadline for early registration: January 4th, 2000
   * Workshop dates: January 17-18, 2000


EARLY REGISTRATION
The registration fee for PADL'00 is 175 US$ for ACM members and of 200
US$ for non-ACM members. Reduced student registration fee is $125.
 After Jan. 4th 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:

   http://www.cs.nmsu.edu/~complog/conferences/padl00

LOCATION
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:

     http://www.fairmont.com/Hotels/Index_B.html

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

PROGRAM COMMITTEE
 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)


SPONSORS
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.