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
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
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
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
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
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.
REGISTRATION AND INFORMATION DESKS
Tenaya Hall: Daily 8am-Midnight
Price Center: Sunday 6pm-9pm
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
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
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:
LOCAL ARRANGEMENTS CHAIRS
Sam Buss (619) 534-6455
Jeff Remmel (619) 534-2643
University of California, San Diego
9500 Gilman Drive, 0112
La Jolla, CA 93093-0112 USA
LICS'95 REGISTRATION FORM
Please type or print.
Last Name: ______________________________________________________________
First Name: _____________________________________________________________
Street Address: _________________________________________________________
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: ________________________________________________________
PREFERRED ROOMMATE (for those choosing double rooms):
ARRIVAL DATE: ___________________________________________________________
DEPARTURE DATE: _________________________________________________________