Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!delmarva.com!news.internetMCI.com!newsfeed.internetmci.com!in2.uu.net!allegra!alice!divesh
From: divesh@research.att.com (Divesh Srivastava)
Subject: ILPS'95 Workshop on Constraints, Databases and Logic Programming
X-Nntp-Posting-Host: arran.research.att.com
Message-ID: <divesh.816537606@research.att.com>
Sender: usenet@research.att.com (netnews <9149-80593> 0112740)
Organization: AT&T Bell Labs, Murray Hill, NJ
Date: Thu, 16 Nov 1995 16:00:06 GMT
Lines: 101


-----------------------------------------------------------------------

CALL FOR PARTICIPATION 

ILPS'95 POST-CONFERENCE WORKSHOP (W4) ON 
CONSTRAINTS, DATABASES AND LOGIC PROGRAMMING

Portland Marriott, Portland, OR, USA
December 8, 1995 

Sponsored by the Association for Logic Programming

This workshop will bring together researchers in constraint-based 
programming and constraint databases to discuss the state-of-the-art 
in each field and how they can contribute to each other. This 
workshop is held in conjunction with the 1995 International Logic 
Programming Symposium (ILPS'95), which will take place in Portland, 
Oregon from Dec. 4 - 7, 1995. The symposium, one of two major 
conferences sponsored annually by the Association for Logic 
Programming, will be accompanied by a series of workshops to be held 
on December 7 - 8. The  Workshop on Constraints, Databases, and 
Logic Programming will be Workshop 4 (W4), scheduled for a full day 
on Friday, December 8, 1995.  

WORKSHOP ORGANIZING COMMITTEE

Alex Brodsky (George Mason University, U.S.A. brodsky@isse.gmu.edu)
Jennifer Burg (Wake Forest University, U.S.A. burg@mthcsc.wfu.edu) 
Alon Y. Levy (AT&T Bell Laboratories, U.S.A. levy@research.att.com)
Divesh Srivastava (AT&T Bell Laboratories, U.S.A. divesh@research.att.com)
Peter J. Stuckey (University of Melbourne, Australia pjs@cs.mu.oz.au)
Roland H.C. Yap (National University of Singapore, Singapore ryap@iscs.nus.sg)

PRELIMINARY PROGRAM

Accepted Papers:

H. Abdulrab and A. Drissi-Talbi, "A Simulation Model Based on Solving 
Linear Constraints in Naturals"

T. Aschenbrenner, A. Brodsky, and Y. Kornatsky, "Constraint 
Database Approach to Spatio-Temporal Data Fusion and Sensor Management"

C. J. Bailey-Kellogg and S. Michaylov,"Efficient Extraction of 
Imperative Computation in Constraint Logic Programs"

A. Brodsky and X. S. Wang, "On Approximation-Based Query Evaluation, 
Expensive Predicates, and Constraint Objects"

M. V. Cengarle and L. Mandel, "Finite Domains in the Constrained 
Lambda Calculus"

S. Dar, A. Y. Levy, H. V. Jagadish, and D. Srivastava, "Reasoning 
With Aggregation Constraints in Views"

B. DeBacker and H. Beringer, "Cooperative Solvers and Global 
Constraints: The Case of Linear Arithmetic Constraints"

F. Fages, "From Constraint Minimization to Goal Optimization in CLP 
Languages"

A. Gal and O. Etzion, "A Language for the Support of Constraints in 
Temporal Active Databases"

A. Y. Levy and M.-C. Rousset, "CARIN:  Description Logics as a 
Constraint Language in Horn Rule Languages"

M. J. Maher and D. Srivastava, "Chasing Constrained Tuple-Generating 
Dependencies"

P. J. Stuckey and V. Tam, "Using Stochastic Solvers in Constraint 
Logic Programming"

P. Tsarchopoulos, "Towards Native Code Generation in CLP"

CONFERENCE/WORKSHOP LOCATION

The conference venue, Portland, is noted for the "Silicon  Rainforest"
in neighboring Beaverton, micro breweries, Powell's Books (the world's 
largest used-book store), a plethora of Starbucks and Coffee People 
cafes, Nike Town, the so-called Northwest Sound (grunge rock), and 
superb skiing on nearby Mt. Hood. The conference hotel is the Portland 
Mariott, overlooking the Willamette River in the heart of downtown, 
20 minutes from Portland International Airport.  In addition to the 
superb technical program, the conference will include a banquet dinner 
at Atwater's Restaurant atop the Bancorp Tower.

WORKSHOP COSTS

For people attending ILPS'95:       US$20
For people *not* attending ILPS'95: US$60

The registration fee covers workshop costs (refreshments during coffee 
breaks, room rental, etc.).  Paper copies of the Workshop proceedings 
will be available during ILPS'95.

For the registration form and further information, please check out
the ILPS'95 WWW page at http://www.cs.uoregon.edu/ilps95. 

-----------------------------------------------------------------------
