LICS'95 Registration Reminder

*** NOTE: the deadline for early registration is May 26. ***

[The full conference program and registration information can be
 obtained by visiting the LICS'95 home page at
 http://math.ucsd.edu/lics95/, or by anonymous ftp from
 research.att.com, directory /dist/lics.

		    Tenth Annual IEEE Symposium on
		      Logic in Computer Science
			   June 26-29, 1995
			San Diego, California



Please address registration form (included below) and inquiries to:

        UCSD, Conference Services
        Cindy Laurence
        Conf. Coordinator LICS'95
        9500 Gilman Drive, Dept. 0513
        La Jolla, CA 92093-0513  USA
        Phone:  (01) (619) 534-4220
        Fax:    (01) (619) 534-2042
        Email:  claurence@ucsd.edu


Mail or fax the completed registration form with payment in
U.S. Currency to UCSD, Conference Services at the above address.  For
early registration, payment must be received by May 26, 1995.  Fees
will be returned in full for any written cancellation received before
June 14.  No refunds will be made after June 14.

A table of registration fees can be found on the registration form.
The member rate applies to: members of ACM, ASL, IEEE, and EATCS,
members of the organizing and program committee, and authors of
accepted papers.  The student rate applies to full time students only.
Students must enclose a copy of their 1994-95 student card with the
registration form.

The registration fee includes conference participation, a copy of the
proceedings, coffee breaks and an invitation to the welcome reception.
There is a separate charge for the banquet.

Payment must be in U.S. currency in the form of Visa, Mastercard,
check or money order.  All forms of payment must be drawn on a
U.S. bank.  Checks and money orders should be made payable to: "UC

Once the registration form and remittance have been received, the
Conference Manager will send a receipt and confirmation letter to the
participant's address.


Reasonably priced and comfortable apartment housing is available on
the UCSD campus within walking distance from the conference site.
Each apartment houses three or four people who will share a living
room and a bathroom.  Double rooms with two single beds may be rented
as a double or single room.

Campus housing is sold as a package housing/meal plan only. The
package includes: four nights accommodations, Sunday through Thursday,
and breakfast Monday through Thursday.  Breakfast will be served near
the meeting site.  Dinner for Monday and Tuesday can either be taken
on-campus or at a nearby restaurant.  For restaurant information
inquire at the check-in desk upon arrival.  The banquet will be held
at the Aquarium on Wednesday evening.

Housing is also available to anyone who wishes to arrive early or
depart late.  A fee schedule is printed on the registration form.  The
pre-registration deadline for on-campus housing is May 26.
Registration received after May 26 is subject to availability.
Refunds are available for housing/meal plan if cancellation is made in
writing before June 14.


The conference is being held at the Price Center of the University of
California, San Diego campus.  The campus is located in La Jolla north
of downtown San Diego.  Nearby attractions include the San Diego Zoo
and Seaworld.  UCSD is also well known for the Scripps Institute of
Oceanography which rests on the west end of campus and overlooks the

The weather in La Jolla in June is usually pleasant with temperatures
around 25 degrees C and low humidity.  Evenings can be cooler, down to
17 degrees C, so a light jacket or sweater may be useful.
Occasionally very hot, dry weather (Santa Ana) can occur for a few
days if the prevailing winds shift and come from the inland deserts.
The Pacific Ocean is warm enough for swimming.  We suggest you bring
along swim wear and a beach towel.  You may also wish to bring a hat.


A Welcome Reception will be held on Sunday evening from 6pm-9pm at
UCSD in the Price Center Plaza.  The Conference Banquet will be held
at the Stephen Birch Aquarium on Wednesday, June 28.  Please reserve a
banquet ticket when you complete the registration form.  Vegetarian
and kosher banquet meals are available if requested at the time the
reservation is made.


Lunch and dinner are at the participant's own expense.  Participants
may dine at one of seven restaurants within the Price Center or at one
of the other food service facilities throughout campus.  Participants
staying on campus may have dinner at one of the dining facilities on
campus or at one of the many fine restaurants located in La Jolla.  La
Jolla is approximately 4 miles from campus and may be reached by cab
or bus.

Additional local arrangements information may be obtained on the World
Wide Web at:

The organizers cannot be held liable to conference participants for
injury, damage or loss of their personal property.  It is suggested
that participants make their own insurance arrangements.


Tenaya Hall:    Daily        8am-Midnight   
Price Center:   Sunday       6pm-9pm 
                Mon.-Thurs.  8am-5pm

Housing registration is at Tenaya Hall.  Conference registration is at
the Price Center at the hours listed above and at Tenaya Hall


Please make travel arrangements early.  Summers are a busy travel
period in Southern California.  A special conference fare has been
negotiated with American Airlines for the LICS '95 Conference.  This
applies to domestic reservation only, though international flights may
reference the ID Number to assist us with tracking arrivals and
departures.  Please contact the American Airlines Meeting Services
Desk at (800) 433-1790; to obtain the discount please reference Star
File #S0465HN.

Travelers are entitled to either:

5% off the lowest applicable fare available 
10% off full coach or first class fare 
Allowable travel dates:  June 21-30, 1995

A cab fare from the airport to La Jolla is approximately $30.  A
number of shuttles operate continually outside the baggage claim area.
Peerless Shuttle is recommended as they cost $15/person; see ground
transportation or contact them on a courtesy phone (619-554-1700) at
the airport.  Ask the driver to take you to the Tenaya Hall Conference
Desk on the Muir Campus. (You will probably need to show the driver
the campus map to find Tenaya Hall but he will know where UCSD is!).
Rooms will become available for occupancy starting at 11am on Sunday.


A parking permit is required for participants arriving by private or
rental car.  For those being housed on campus, a parking permit is
included in the package plan.  For those housed off campus, a parking
permit may be purchased at the registration desk (current price is
$15/week).  Parking permits are required seven days a week from 7am to
11pm.  Monitoring of permits tends to be quite diligent!


UCSD has been designated by the University Chancellor as a non-smoking
environment.  Smoking is not permitted within any public buildings on
the campus.  However, smoking is permitted on the grounds and in
campus housing.


The following events will be held in La Jolla, California, June

- PLDI'95, ACM SIGPLAN Conference on Programming Language Design
  and Implementation, June 18-21

- Workshop on Language, Compiler, and Tool Support for Real-Time
  Systems, June 21-22

- PEPM'95, ACM SIGPLAN Symposium on Partial Evaluation and
  Semantics-Based Program Manipulation, June 21-23

- Haskell Workshop, June 25

- FPCA'95, SIGPLAN/SIGARCH/WG2.8 Conference on Functional
  Programming Languages and Computer Architecture, June 25-28

Information may be obtained on the Web at:


    Sam Buss (619) 534-6455
    Jeff Remmel (619) 534-2643
    University of California, San Diego
    Mathematics Department
    9500 Gilman Drive, 0112
    La Jolla, CA 93093-0112  USA
    Email: lics95@math.ucsd.edu

                      LICS'95 REGISTRATION FORM

Please type or print.

Last Name: ______________________________________________________________

First Name: _____________________________________________________________

Affiliation: ____________________________________________________________

Street Address: _________________________________________________________


City: ___________________________________________________________________

State/Zip: ______________________________________________________________

Country: ________________________________________________________________

Phone(s): _______________________________________________________________

Fax: ____________________________________________________________________

E-mail: _________________________________________________________________

CONFERENCE REGISTRATION RATES.  All fees are in U.S. Currency.  Please
circle the applicable fees.

                   Before    On or after
                   May 26      May 26
  Regular          $380.00     $480.00
 *Member           $290.00     $380.00 
  Student          $185.00     $250.00 

                   Before    On or after
                   June 19     June 19

  Banquet          $50.00    Not Available
**Breakfast Only   $23.60    Not Available

* Includes members of ACM, ASL, IEEE, and EATCS, members of the
organizing and program committee, and authors of accepted papers.

** Only available to participants who do not reside on campus.

Rate justification: _____________________________________________________

Full-time student at: ___________________________________________________


                  LICS'95 REGISTRATION FORM (cont.)

ON-CAMPUS HOUSING.  4 nights, arrive June 25, depart June 29 (includes
4 breakfasts).  All fees are in U.S. Currency.  
** Payment due with registration. **

  Single Room   $179.50 
  Double Room   $147.60

  Additional nights lodging:
  Single Room   $39.00 
  Double Room   $31.00

  Family Apartment:  Please call for rates.

TOTAL DUE (REGISTRATION AND ACCOMMODATION): _____________________________

PAYMENT.  Circle one:

    Check or Money Order 


** All funds must be drawn on a U.S. bank. **

Credit card #: __________________________________________________________

Expiration Date: ________________________________________________________

Signature: ______________________________________________________________

>Date: ___________________________________________________________________

PREFERRED ROOMMATE (for those choosing double rooms): 


ARRIVAL DATE: ___________________________________________________________

DEPARTURE DATE: _________________________________________________________