CONFERENCE OFFICE ================= Please address forms and inquiries to LICS'98 Department of Computer Science Indiana University Bloomington, IN 47405 U.S.A Phone: +1 (812) 855.4341 Fax: +1 (812) 855.4829 email: lics98@cs.indiana.edu URL: http://lics98.cs.indiana.edu Conference desk Registration and information desks for LICS98 as well as the affiliated workshops will be located at the Conference Center lobby, in the areas connecting the hotel to the meeting auditoriums (right outside the garage elevators). Assistance will be available also from the conference information desk on all meeting days, from 6:30am to 5:30pm. -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= REGISTRATION INFORMATION AND FEES (LICS98 and affiliated workshops) ================================= LICS REGISTRATION FEES through May 8 from May 9 member(1) 325 425 non-member 425 525 student(2) 175 225 INCLUDED IN REGISTRATION FEES FOR ALL: Registration package (with copy of the proceedings) Daily lunches Food service 7:30 - 4:30 (includes coffee breaks) Reception and banquet LICS PARTIAL REGISTRATION FEES Fees for 1 or 2 day registration. through May 15 from May 16 1d 2d 1d 2d member 150 200 250 300 non-member 250 300 350 400 student 90 140 125 175 INCLUDED IN PARTIAL REGISTRATION FEES: Registration package (with copy of the proceedings) Lunches for days attended Food service 7:30 - 4:30 (includes coffee breaks) LICS Reception NB: partial registration fees reflect the same contribution to the fixed conference costs as the corresponding full fees. NOTES: (1) Member rate applies to members of IEEE Computer Society, ACM, ASL, or EATCS, as well as to members of the Program and Organizing Committees. (2) Student rate applies to full time students. It does not include the banquet. WORKSHOPS REGISTRATION FEES Pre-LICS workshops: Friday June 19 and Saturday June 20 Post-LICS workshops: Thursday June 25 through May 15 From May 16 Pre-LICS workshops $115 $130 Post-LICS workshops $65 $80 INCLUDED IN WORKSHOP FEES: Registration package Lunches for days attended Food service 7:30 - 4:30 (includes coffee breaks) ---------------------------------------------------------------------- TO REGISTER, please choose one of the following methods. * WEB registration at the URL http://lics98.cs.indiana.edu * EMAIL the form below to lics98@cs.indiana.edu (feel free to add spaces as needed) * PRINT the form below and mail or fax it to LICS98 Computer Science Department Indiana University Bloomington, IN 47405, USA Fax: 812-855.4829 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= REGISTRATION FORM ================= FIRST NAME:_____________ LAST NAME:___________ PREFERRED MAILING ADDRESS: __________________________________ __________________________________ __________________________________ EMAIL: __________ PHONE (optional): ____________ SPECIAL REQUESTS/NOTES: ___________________________ ___________________________________________ LICS registration fee: __________ Please check as appropriate * full conference * 2 days; dates: ______;_______ * 1 day; date: ______ * non-member * member of ______________ * student, institution: _____________ Pre-LICS workshops __________ You MUST check one workshop, for administrative purposes: * Probabilistic methods in verification * Real Number Computation Post-LICS workshops __________ You MUST check one workshop, for administrative purposes: * Game semantics for linear logic * Logic & Diagrammatical Information. * Model checking & security protocols Extra banquet tickets ($35 each) __________ Registration total __________ If paying with a credit card, processing fee ($4 + 2% of registration total) __________ TOTAL: __________ METHOD OF PAYMENT (please check all that applies) * Check or money order enclosed (payable to "Indiana University, LICS98") * Credit card information enclosed * Visa (& Blue Card) OR * MasterCard (no other card accepted) * Number: ___________________ * Card's billing address (if different from address above): ______________________________________ ______________________________________ * Expiration date:___________ * Signature (if mailing or faxing): ______________________________ * Credit card information called in. (Please call 812-855-4341 during US business hours) -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= LICS98 ACCOMMODATIONS ===================== CONFERENCE HOTEL The recommended accommodations are at the Conference Center Hotel, classified as a 4 diamond hotel by the AAA. A special LICS98 rate of $89 for single and $104 for double occupancy is available for the nights of June 17 through June 26. These rates are subject to 11% taxes. They include parking in the underground garage, but not breakfast. Buffet breakfast will be available from 7:30 and the conference wing; full service breakfast will be available at the hotel's restaurant. YOU ARE URGED TO MAKE YOUR RESERVATIONS IMMEDIATELY, since the hotel is holding a limited number of rooms, and nearby hotels are already booked up during the LICS'98 week. Cancellation is permitted without penalty till 4pm of the scheduled date of arrival. To make your reservation call: * From the US and Canada: toll-free 800-627-2700 * From elsewhere: +317-269-9000 Mailing Address: 850 West Michigan Street, Indianapolis, IN 46202 Hotel fax: 317-274-3878 Hotel e-mail: uplace@indycms.iupui.edu INDIANAPOLIS ATHLETIC CLUB A block of rooms has also been reserved at the Indianapolis Athletic Club Hotel. The rate is $85 for single or double, $95 for a mini-suite (with a small living room), and $125 for a full suite (large living room). This hotel occupies a historic building in the downtown area, about one mile from the conference site. Mailing Address: 350 North Meridian Street, Indianapolis, IN 46204. Hotel Phone: 317-634-4331 Hotel Fax: 317-686-4155 STUDENT RESIDENCE Economical accommodations for students have been reserved at the Ball Residence Building on campus, a short walk from the conference site. The residence is in active use for summer session, and we were able to secure only ten beds for male students and ten for female students, all in double accommodation. The rate is $14.85 per person per night. Interested students should address an application to lics98@cs.indiana.edu, and include any pertinent information about their circumstances. DEADLINE FOR APPLICATIONS: April 30. Applicants are urged to simultaneously make a reservation at one of the hotels above. -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= CONFERENCE VENUE ================ LICS'98 and its affiliated workshops will take place at the Indiana University Conference Center in Indianapolis, which combines state-of-the-art academic meeting facilities with a four star hotel and various food services. The Center is located on the Indianapolis Campus of Indiana University, which includes the university's medical school. Indianapolis is a city of about one million inhabitants, located about 250 km south of Chicago. The Indianapolis downtown area, about one mile from the conference center, offers a large selection of restaurants, cultural and entertainment establishments, and modern up-scale shopping. It has been a thriving convention location for over a decade, and is relatively clean and safe. Other attractions in and near the city include two art museums of interest, a large children's museum, a large zoo, a historic park, and the Indy500 race tracks. Additional information and relevant links can be found on the conference web site, http://lics98.cs.indiana.edu. -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= TRAVEL INFORMATION ================== BY AIR Frequent direct flights to Indianapolis are available from most hubs and gateways in the US. The conference site is a 20 minute drive from the airport. Cab fare from the airport is around $24. International travelers would normally use a connection in one of the major US airgates, such as Chicago for United/Lufthansa and American/British airline alliances as well as others, Detroit for Northwest/KLM, New York's JFK airport for TWA and many international carriers, Philadelphia and Pittsburgh for US Airways, New York's Newark for Continental, and Atlanta or Cincinnati for Delta. Air connections from Chicago are particularly frequent, on United (full jet service) and American (turbojet). The current lowest fare is $105 for a round trip; however, international airfares can often be augmented with a connection for a small increment. Reduced air fares will be offered to LICS participants by Continental Airlines, TWA, and US Airways. Continental Airlines offers a discount of 8% on restricted airfare and 13% on unrestricted air fares from the US and Latin America. The discounts are 5% and 10%, respectively, for other locations (including Europe but excluding the Pacific). In North America call 1-800-322-8662 for reservations, and mention Reference Code NLWM71 (if booking through a travel agent, also mention the "Z code" ZYE6). TWA offers discounts of 25% on F25/Y25 fares and 10% on all other published fares. These discounts apply to TWA flights worldwide, except for non-stop flights to and from St. Louis, for which the discounts are 10% and 5%, respectively. To make reservations in North America call 800-325.4933, and mention Agreement Number V16412. You may also book through a travel agent or a local TWA office, mentioning the agreement number above. (NOTE: The TWA reservation system might not have the LICS98 contract information until April 5.) US Airways offers a discount of 5% on restricted air fares and 10% on unrestricted air fares. These discounts apply systemwide, including Europe. In North America call 800-334-8644, and mention Gold File number 156-10-378. To make reservations for discounted fares outside North America please contact the respective airline office that serves your area. BY CAR Indianapolis is at the crossroad of several major interstate highways, and is within a day's drive of many US cities. From the airport: Airport Expressway (straight E coming from terminal), N to I-70 east, exist #79a (West Street), N on West Street to Michigan Street, W on Michigan Str to University Place Center (right after Blake Street on your right) From NW (Chicago): I-65 to exit #114 (West Street), S to Michigan Street, W on Michigan Str to University Place Center (right after Blake Street on your right) From N (South Bend): US 31 all the way through to downtown Indianapolis, pass 10th street, W to Michigan Street, to University Place Center (right after Blake Street on your right) From SE (Cincinnati): I-74 to I-465, N to I-70, W to I-65, W to exit #114 (West Street), S to Michigan Street, W to University Place Center (right after Blake Street on your right) Driving Instructions to Indianapolis Athletic Club: From the airport: Airport Expressway (straight E coming from terminal), N to I-70 east, exit #79b (Pennsylvania Street) N to Meridian Street, N on Meridian to the Club (right after New York Street on your left) From NW (Chicago): I-65 to exit #113 (Meridian Street), S on Meridian to the Club (right after Vermont Street on your right) From N (South Bend): US 31 all the way through to downtown Indianapolis (Meridian Street), to the Club (right after Vermont Street on your right) PARKING Parking for the conference center is at the University Place Garage, and is free for all hotel guests and conference registrants. Parking at the Athletic Club: Use the Denison Garage on 327 North Illinois, and take the elevated walkway on level 3B straight into the Club. The rate is $6 per day. The garage closes at midnight and on weekend, and which times street parking is unproblematic. STREET PLAN (detailed plans will be included with registration package) Blackford Senate Illinois || || || || ^|| || || || || ||| ||| || *UP* || || || || || || v|| || || || || || || || <-- || || <-- || || ===================================================================== Michigan <-- || || || || || || || || || || || || || || || || || || ||=========================================== Vermont || || || || || || || || || || || *AC* || || || --> || || --> || || ============================================================= New York || || || || || || || || || || || || West Capitol Meridian | |downtown V UP = University Place Conference Center AC = Indianapolis Athletic Club