Date: Sun, 12 Apr 92 14:02:37 -0400
From: nvm@edu.albany.cs (Neil Murray)
Message-Id: <9204121802.AA14885@herbrand.albany.edu>
To: info-hol@edu.ucdavis.cs
Subject: CADE-11

    PLEASE NOTE THE FOLLOWING CORRECTIONS TO THE PREVIOUS CADE-11 NOTICE:

   *  If you choose to pay the  conference  registration  fee  by  credit
      card, you will be billed for an additional amount of $8 for regular
      registrations and $3 for students  to  cover  the  credit  charges.
      (Late  registrations,  banquet  or  excursion  guest  tickets,  and
      tutorial registrations will NOT increase these credit fees.)

   *  Tutorials 4 and 5 are reversed: T4 will be Constraints on Trees and
      will  be  held  at 1:00pm. T5 will be Term Rewriting Techniques and
      will be held at 4:00pm.

   *  The title of Larry Wos' Keynote address is ``The  Impossibility  of
      the Automation of Logical Reasoning.''

 *** ALSO
       Below are facsimiles of the conference registration form and
       the motel reservation forms.  You may use these to create and
       mail hardcopy, but we are NOT set up to receive registrations
       via email.  (Registration/information packets went out via
       regular mail on Friday, 4/10.)

 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||

                        CADE 11 REGISTRATION FORM                       


 Name __________________________________________________________________
         Last                        First                       MI


 Address _______________________________________________________________
           Institution or Company      Office          Street


         _______________________________________________________________
           City            State/Province     Postal Code      Country


         _______________________________________________________________
         Expected Arrival (time/date)     Expected Departure (time/date)


                    Early (by 5/15) $250. ___
 Registration     Late (after 5/15) $275. ___            $_____________ 
 Fees                       Student $100. ___            


 Banquet Guest Tickets         ___@ $25. each            $_____________


 Excursion Dinner Cruise       $25. ___                  $_____________


 Excursion Guest Tickets       ___@ $50. each            $_____________


 Check here if you require vegetarian ___ or kosher ___ meals.


 Tutorials

       T1 ___       T3 ___      
 One of       One of         T5 ___    ___@ $40. each    $_____________
       T2 ___       T4 ___


                                                  TOTAL $_____________


 ___ I have enclosed a check or bank draft in US dollars.

 ___ I am paying by credit card.  ___ VISA   ___ MasterCard or EuroCard
 (An additional $8. will be charged for credit card payments - $3 for
  student registrations.)


 Card # _____________________________     Expiration Date _____________


 Signature ________________________________

 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||

                       RAMADA  RENAISSANCE  HOTEL
                      534 Broadway at City Center
                      Saratoga Springs, NY  12866
                           (518) 584-4000

                  C A D E - 11    C O N F E R E N C E
               Sunday, June 14 - Thursday, June 18, 1982

 ROOM RATES:   $75.00 - Single occupancy, per night
               $85.00 - Double occupancy, per night

 RATES ARE SUBJECT TO 11% TAX, UNLESS TAX-EXEMPT FORM IS PROVIDED
 RATES  INCLUDE  ROOM  ONLY

 RESERVATIONS MUST BE MADE ON OR BEFORE FRIDAY, MAY 22, 1992
 RESERVATIONS REQUIRE ONE NIGHT'S DEPOSIT IN
 U.S. DOLLARS OR A MAJOR CREDIT CARD NUMBER

                      RESERVATION  INFORMATION

 1.   Reservations close 21 days prior to your function.   If
      space is available after the closing date, reservations
      will be gladly accepted.

 2.   All reservations require  a  one  night's  deposit  per
      room,  refundable  with  72  hours notice of changes or
      cancellations.  Deposits may be made through a personal
      check  in  U.S.  Dollars or by supplying a major credit
      card number (from one of those listed in item 6 below).

 3.   Groups on the Modified and  American  Plans  will  have
      gratuities  added  to  their  rates,  covering Bellman,
      Maid, and Banquet/Dining Personnel.

 4.   Check-in time is 3:00 PM. If  you  arrive  earlier  and
      your room is ready, you will be roomed.

 5.   Check-out time is 12:00 Noon.

 6.   Credit information:
      We honor MasterCard,  VISA,  American  Express,  Diners
      Club, and Discover cards.
      We do accept personal checks in U.S. Dollars for  depo-
      sits.

 7.   Employees of N.Y. State or of the U.S.  Government  may
      send  Tax Exemption Certificates with authorized signa-
      tures to the Ramada Renaissance Hotel with the reserva-
      tion.

              Cut on dotted line and mail with deposit
  ----------------------------------------------------------------

                   ROOM RESERVATION REQUEST FORM

      Mail this form directly to the Ramada Renaissance Hotel


 ARRIVAL   DEPARTURE
  DATE       DATE      #ROOMS   TYPE  &  DESCRIPTION

                             
 _______   _________   ______   Single, One person in room, $75
                             
 _______   _________   ______   2 Double Beds, Two persons in room, $85
                             
 _______   _________   ______   King Bed, Two persons, $85 (if available)
                             
 _______   _________   ______   Triple, Three persons in room
                             
 _______   _________   ______   L-Shaped Suite


  Name _________________________________________________________________

  Address ______________________________________________________________

  City _______________ St./Prov. _________ Code ______ Country _________

  Telephone # ____________________ Signature ___________________________

  Credit Card  (circle):     MC     VISA     AE     DC     Dis

       Exp. Date _______  # ___________________________

  Check here if you wish to receive confirmation of your reservation: ___

 I have supplied a major credit card  number  or  enclosed  a
 check  or Money Order for one night's deposit for each room.
 I understand that this deposit is refundable with receipt of
 changes  or cancellations within 72 hours of of my scheduled
 arrival date.

 Mail this request early as reservations close 21 days  prior
 to your arrival.

 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||

                         Holiday  Inn
                 Broadway at Circular Street

               RESERVATION  INFORMATION & FORM


 1.   Reservations close May 29, 1992.  If space is available
      after  the  closing  date,  reservations will be gladly
      accepted.

 2.   All reservations require  a  one  night's  deposit  per
      room,  refundable  with two week's notice of changes or
      cancellations.  Deposits may be made through a personal
      check  in  U.S.  Dollars or by supplying a major credit
      card number.
      Reservations can also be made by calling  1-800-HOLIDAY
      and giving the 3-letter code "CAD"

 3.   Room rates increase $10 for each extra person.
      Children under 19 stay free with parents.

 4.   Credit information:
      We honor MasterCard,  VISA,  American  Express,  Diners
      Club, and Carte Blanche.

                   Cut on dotted line and mail with deposit
   ------------------------------------------------------------------

                        ROOM RESERVATION REQUEST FORM

                     Mail directly to the Holiday Inn Motel,
              Broadway at Circular St., Saratoga Springs, NY  12866.

    ARRIVAL   DEPARTURE
     DATE       DATE      #ROOMS   TYPE  &  DESCRIPTION

                                
    _______   _________   ______   Single (1 person/room), $58
                                
    _______   _________   ______   Double (2 person/room), $68


  Name ________________________________________________________________

  Address _____________________________________________________________

  City ________________ St./Prov. _____ Code ________ Country _________

  Telephone # ____________ Signature __________________________________

  Credit Card  (circle):     MC     VISA     AE     DC     CB

       Exp. Date _________  # _____________________________

 I have supplied a major credit card  number  or  enclosed  a
 check  or Money Order for one night's deposit for each room.
 I understand that this deposit is refundable with receipt of
 changes  or  cancellations  within two weeks of my scheduled
 arrival date.

 Mail this request early as reservations close May 29, 1992.

 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||

                 Rip Van Dam Hotel-Motel   353 Broadway

                    RESERVATION  INFORMATION & FORM


 1.  Reservations close May 15, 1992.  If space is available after the 
     closing  date,  reservations will be gladly accepted.

 2.  All reservations require a one night's deposit per room,
     refundable with one week's notice in writing of changes or
     cancellations.  Deposits may be made through a personal check in 
     U.S. Dollars or by supplying a major credit card number (from one 
     of those listed in item 6 below).

 3.  Check-in time is 1:00 PM. If you arrive earlier and your room is
     ready, you will be roomed.

 4.  Room rates increase $5 for each person beyond two.  Reservations
     for one night only will be honored with an increase of $5 in the 
     rate.

 5.  Check-out time is 11:00 AM.

 6.  Credit information:
     We honor MasterCard, VISA, American Express, Diners Club, and 
     Carte Blanche.  We do accept personal checks in U.S. Dollars for 
     deposits; final payments must be cash, travelers' checks, or 
     credit card.

                   Cut on dotted line and mail with deposit
   -------------------------------------------------------------------

                        ROOM RESERVATION REQUEST FORM

                  Mail directly to the Rip Van Dam Hotel-Motel,
                   P.O. Box 1021, Saratoga Springs, NY  12866.

 ARRIVAL   DEPARTURE
  DATE       DATE      #ROOMS   TYPE  &  DESCRIPTION

                             
 _______   _________   ______   One Double Bed, One or two persons, $40
                             
 _______   _________   ______   Two Double Beds, One or two persons, $50


  Name ________________________________________________________________

  Address _____________________________________________________________

  City ________________ St./Prov. _____ Code ________ Country _________

  Telephone # ____________ Signature __________________________________

  Credit Card  (circle):     MC     VISA     AE     DC     CB

       Exp. Date _________  # _____________________________

      You will receive confirmation of your reservation.

 I have supplied a major credit card number or enclosed a check or
 Money Order for one night's deposit for each room.  I understand that
 this deposit is refundable with receipt in writing of changes or
 cancellations within 7 days of my scheduled arrival date.

 Mail this request early as reservations close May 15, 1992.