Newsgroups: comp.constraints,comp.lang.prolog,comp.databases.theory
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.duke.edu!news-feed-1.peachnet.edu!gatech!howland.reston.ans.net!news.sprintlink.net!EU.net!uunet!allegra!sudarsha
From: sudarsha@allegra.att.com (S. Sudarshan)
Subject: Post-ILPS'94 Workshop on Constraints and Databases:  Call for Participation
Message-ID: <1994Oct28.173101.8427@allegra.att.com>
Keywords: Constraints, Databases, Workshop
Organization: AT&T Bell Laboratories, Murray Hill, NJ
Date: Fri, 28 Oct 1994 17:31:01 GMT
Lines: 333
Xref: glinda.oz.cs.cmu.edu comp.constraints:342 comp.lang.prolog:11522 comp.databases.theory:3128






                     Call for Participation
        Post-ILPS'94 Workshop on Constraints and Databases
                Sheraton Inn, Ithaca, NY, U.S.A.
                       November 17, 1994

This workshop will bring together researchers in constraint logic
programming and constraint databases to discuss the state-of-the-art
in each field and how they can contribute to each other.  This
workshop comes at a time when applications with increasingly large
collections of complex constraints are proposed and techniques to
manipulate such collections of constraints are rapidly improving 
as a result of the incorporation of database technology.

This workshop is held in conjunction with the 1994 International
Logic Programming Symposium (ILPS'94), which will take place in
Ithaca, NY from November 13 to November 17, 1994.  Ithaca, NY is 
a small city, the home of Cornell University, a leading research 
center in many branches of science, engineering, and the arts.

Organizing Committee:   

        Peter Revesz,           University of Nebraska
        Divesh Srivastava,      AT&T Bell Laboratories
        Peter Stuckey,          University of Melbourne
        S. Sudarshan,           AT&T Bell Laboratories


-------------------------------------------------------------------------------
                        WORKSHOP PROGRAM
-------------------------------------------------------------------------------

Thursday, November 17, 1994


2:00 PM - 3:30 PM:  Constraint Databases
-----------------------------------------

  2:00-2:15: "Measuring Infinite Relations"
                Jan Chomicki and Gabriel Kuper
  2:15-2:30: "Compile Time Constraint Solving in a Constraint Database System"
                Roman Gross and Robert Marti
  2:30-2:45: "Database Query Optimization and Evaluation as Constraint
             Satisfaction Problem Solving"
                Stephane Bressan
  2:45-3:00: "The LyriC Language: Querying Constraint Objects"
                Alexander Brodsky and Yoram Kornatzky
  3:00-3:30: Open discussion on constraint databases


4:00 PM - 4.45 PM:  Invited Talk
--------------------------------
     "Constraints And Databases: Creating The Right Image"
     Raghu Ramakrishnan, University of Wisconsin--Madison


5:15 PM - 6:30 PM:  Integrity Constraints
-----------------------------------------

  5:15-5:30: "Constrained Dependencies"
                Michael Maher
  5:30-5:45: "Reasoning with Implication and Referential Constraints 
             in Semantic Query Optimization"
                Xubo Zhang and Meral Ozsoyoglu
  5:45-6:00: "Semantic Query Optimization in Datalog Programs"
                Alon Levy and Yehoshua Sagiv
  6:00-6:30: Open discussion on integrity constraints


7:00 PM - 7:45 PM:  Constraints
--------------------------------

  7:00-7:15: "Bottom-Up Evaluation of Datalog Programs with Incremental
             Arguments and Linear Arithmetic Constraints"
                Laurent Fribourg and Marcos Veloso Peixoto
  7:15-7:30: "On Logical Constraints in Logic Programming"
                Wictor Marek, Anil Nerode and Jeffrey Remmel
  7:30-7:45: "Modular Transformations of CLP Programs"
                Sandro Etalle and Maurizio Gabrielli


-------------------------------------------------------------------------------
                TRANSPORTATION TO ITHACA, NEW YORK
-------------------------------------------------------------------------------

        Ithaca is serviced by two major airlines, USAir and Continental.
The airport is located approximately 2 miles from the location of the
conference, the Sheraton Inn.  Other major airlines are available through
the Syracuse Airport, 50 miles north of Ithaca, and Rochester Airport, 80 
miles north-west of Ithaca.  Transportation from Syracuse and Rochester 
to Ithaca is limited.
        Special discount fares have been arranged with both USAir and
Continental Airlines for those attending ILPS'94.  Both airlines are
offering 10% off regular coach fares and 5% off lowest published excursion
fares.  Travel arrangements may be made through: Mickie Tsapis, Beam
Travel, 134 East Seneca Street, Ithaca, NY 14850, 1-800-404-2326, Fax:
607-277-3141.  Please mention the travel is in conjunction with ILPS
(International Logic Programming Symposium).

-------------------------------------------------------------------------------
                    TRANSPORTATION FROM AIRPORT
-------------------------------------------------------------------------------

        For those arriving at the Ithaca/Tompkins County Airport, free 
hotel ground transportation may be obtained by calling the hotel using 
the courtesy telephone located near the baggage area, or you may take the
Ithaca Airline Limousine service that meets each flight, costs is $5.00.
The Sheraton Inn is located approximately 2 miles from the airport.
        If you arrive at the Syracuse Airport (approximately 50 miles 
north of Ithaca), the only transportation available is taxi, which will cost
approximately $65.00.  Rental cars are available for transportation from
Rochester, Syracuse, and Ithaca airports.

-------------------------------------------------------------------------------
                        HOTEL INFORMATION
-------------------------------------------------------------------------------

        ILPS'94 will be held at the Sheraton Inn, Ithaca, New York.  The
Sheraton Inn & Conference Center offers the most modern and complete
facilities in the area.  In addition to the superior accommodations,
comprehensive meeting and banquet facilities, the hotel features an
indoor, heated swimming pool, saunas, and a fine restaurant.
        Cornell Transit buses make hourly stops at the hotel with stops 
at numerous Cornell Campus locations.
        The Sheraton is located within easy walking distance of three
shopping malls and several restaurants.
        Hotel reservations may be made by filling out the form at the
end of this program and mailing or faxing it to the hotel.

-------------------------------------------------------------------------------
                      CONFERENCE REGISTRATION
-------------------------------------------------------------------------------

        The conference fee for early registration (before OCTOBER 17) for
members of the ALP or its affiliates will be US$350.  The fee for early
registration for non-members will be US$375.  After October 17 late
registration will cost members US$385, and non-members US$410.  The early
registration fee for students is US$150, and the late fee is US$165.  The
student fee does not include the banquet, but banquet tickets can be
purchased for US$50 each.
        Participants paying full or student registrations are given one
year's free automatic membership to the Association for Logic Programming.
You may wish to join your local affiliated society in Britain (ALP-UK),
France (AFCET), Germany (ALP/G), or Italy (GULP).  If you do, please
indicate your desire on the registration form, so information can be
forwarded to your society.
        There is a registration form at the end of this program.  If you
wish to register by e-mail, please request an e-mail form from:
ilps@msiadmin.cit.cornell.edu.  E-mail registrations must be paid for by
either VISA, MASTERCARD, DISCOVER, AMERICAN EXPRESS, or DINERS CLUB at 
time of e-mail registration.
        All members of ALP, ACM, IEEE, SIGART, and SIGMOD are eligible for
discount registration fee.  Members must include the
membership/organization number (one affiliation only) in order to receive
the discount.  All students must submit proof of student status either by
submitting a photocopy of student identification or a letter from their
institution.
        Refund Policy:  Written requests or e-mail requests for refunds
must be received by the Conference co-ordinator Valerie Kaine by November
1.  Refunds are subject to a $50 processing fee.  Those who do not request
a refund by the deadline will be billed in full.
        The Conference Registration Fee includes: Admission to the entire
conference program including technical sessions, and poster sessions, a
copy of the proceedings of the conference, the reception on Sunday evening,
tour of Johnson Art Museum (see restrictions on registration form), Piano
Concert, and the Banquet.  The student fee does not include the banquet.
Extra banquet tickets are available at US$50.
        The post-conference workshops will cost US$20 for each workshop
attended.  People not registered at the conference can register for US$60
per workshop.  The following is the list of workshops available.

W1: Uncertainty in Databases and Deductive Systems
W2: Constraints and Databases
W3: Constraint Languages/Systems and Problem Modelling
W4: Implementation Techniques for Logic Programming Languages
W5: Design and Implementation of Parallel Logic Programming Systems 

-------------------------------------------------------------------------------
                ITHACA AND THE SURROUNDING AREA
-------------------------------------------------------------------------------

        The City of Ithaca, located in the heart of the Finger Lakes
Region, is situated on the Southern tip of Cayuga Lake.  One of the largest
Finger Lakes, Cayuga is, according to legend, what remains of the Onondaga
Indians' Creator impressing a hand on the region to express pleasure with
its beauty and purity.  Today, Ithaca remains incredibly beautiful despite
the many changes that have taken place since that mythic event.  A city of
about thirty thousand, Ithaca combines the beauty of a rural area with the
cultural offerings of a larger city.  It is home to both Cornell University
and Ithaca College and has also long been recognized as a center of
education.
        Cornell University was established in 1868 and is the largest, most
comprehensive school in the Ivy League.  Ezra Cornell's dream to establish,
"an institution where any person can find instruction in any study" is one
that present-day Cornell fulfills.  Coming from all fifty states and over
nearly a hundred countries, Cornell's student population consists of over
12,000 undergraduate students and over 6,000 graduate students.
Undergraduate students can select from among more than four thousand
courses and graduate study is available in approximately a hundred academic
and professional skills, including law, management, medicine, and
veterinary medicine.
        The campus, acclaimed as one of the most beautiful in the world,
boasts over seven hundred acres of open lawns, manicured pathways, wooded
areas and distinctive buildings which overlook the city of Ithaca and
Cayuga Lake.  The waters that feed the lake have created spectacular 
gorges and waterfalls throughout the area.
        There are several shopping areas available.  In addition to the
shopping malls near the Sheraton Inn, there are many specialty stores
located in downtown Ithaca.  An open-air pedestrian mall, known as The
Commons, is recommended to all visitors to Ithaca.  There is a large
assortment of restaurants to choose from in downtown Ithaca and near 
Cornell in the area referred to as "Collegetown."

-------------------------------------------------------------------------------
                        STUDENT CERTIFICATE
-------------------------------------------------------------------------------

All those desiring a student discount for registration must return this
certificate with their registration form.

I certify that __________________________________________________
                        (Print name of student)

is a full-time student at _______________________________________
                                (Name of university)

and eligible for the student conference rate.


____________________________________
                (Signature)

____________________________________
                (Printed name)

____________________________________
                (Title/Position)

Certificate must be signed by the thesis advisor or department head.

-------------------------------------------------------------------------------
                           REGISTRATION FORM
-------------------------------------------------------------------------------

Registration Form: ILPS'94
International Logic Programming Symposium, November 13-17, 1994
Ithaca, New York, USA
------------------------------------------------------------------
Please mail to: Mathematical Sciences Institute  Tel: (+1) 607-255-8005
                Attn: ILPS'94                    Fax: (+1) 607-255-9003
                409 College Avenue
                Ithaca, NY 14850, USA

                E-mail: ilps@msiadmin.cit.cornell.edu
------------------------------------------------------------------
        Name: ___________________________________________________
        Affiliation: ____________________________________________
        Address: ________________________________________________
        _________________________________________________________
        Telephone: __________________  Fax: _____________________
        Membership organization & number: _______________________
        E-mail: _________________________________________________
        Dietary Restrictions:  Vegetarian _______________________
                Other (specify) _________________________________
        Other special needs: ____________________________________

Check the social activities you plan to attend:
(All are included in the full registration fee.  Student registration does
not include the Banquet.  Additional Banquet tickets may be purchased for
$50.00) The following information is needed for proper planning of the
events.

        ___     Opening Reception Nov 13
        ___     Tour of Art Museum Nov 15  (Limited to first 60)
        ___     Piano Concert Nov 15
        ___     Banquet Nov 16.
                Select entree:  ___ Prime Rib
                                ___ Salmon

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

Presenters indicate audio-visual requirements:

        ___     Overhead Projector
        ___     Chalk Board
        ___     Other (state) ___________________________________

Note: There will be a Sun Sparcstation with color screen available for
software demonstrations. Please notify conference registration office 
to reserve time on the computer.
                               
Conference Fees:          Before October 17        After October 17
        Member                  US$350                  US$385
        NonMember               US$375                  US$410
        Student                 US$150                  US$165

Workshop Fees:  Each workshop: US$20. Workshop only participants: US$60 
per workshop.  Please check the appropriate workshop(s).:
        W1 ______ W2 _______ W3 _______ W4 _______ W5 _______

Total Payment:  US $ _________________________

Payment can be made by check drawn on a US bank or money order in American
dollars. Please make checks payable to Cornell University: ILPS'94. You can
also pay by Visa, MasterCard, Discover, American Express, or Diners Club.

        Cardholder's name: ______________________________________

        Type of card and Number: ________________________________

        Expiration Date: ________________________________________


-------------------------------------------------------------------------------
                HOTEL REGISTRATION INFORMATION
-------------------------------------------------------------------------------

Reservations should be made with the

        Sheraton Inn Ithaca             Tel: (+1) 607-257-2000
        Attn: Roseann Kuti              Fax: (+1) 607-257-3998
        One Sheraton Drive
        Ithaca, NY 14850






