FLoC Registration

New Registrations and Changes to Existing Reservations

Fees

All fees are in USD ($) and include taxes.

Registration Categories

There are three categories of participants for the conferences:

• Member
• Except for LICS, all non-student participants fall in this category
• For LICS, non-student participants who are IEEE members or ASL (Association of Symbolic Logic) members are considered members for LICS registration
• Non-member (only for LICS)
• Non-student participants who are neither IEEE  nor ASL members
• Student
  • Students must fax proof of student status (Subject: FLoC Student Status) to 206-543-2352 or send a PDF file with proof of student status (Subject: FLoC Student Status) to uw-epp@engr.washington.edu.
  • There is no distinction between members/non-members for students for any conference.
  • A limited number of NSF-sponsored FLoC travel grants are available for students (see FLoC 2006 Student Travel Support page). Additionally, some conferences have their own travel grant awards (see IJCAR Woody Bledsoe Travel Award).

Registration Deadlines

The deadlines for the various registrations are:

• Early registration rates apply for the registrations received on or before July 10^th, 2006.
• Regular registration rates apply for the registrations received on or after July 11^th until August 1^st. There is an increase of 20% for the registration fees from Early to Regular rates.
• Late/On-site registration rates apply for the registrations received on or after August 2^nd and on-site during the conference. There is an increase of 40% for the registration fees from Early to On-site rates.

Below are the rates for the different conferences:

•  RTA registration fees cover August 12th - 15th.

What Registration Fees for a Conference Cover

The registration fees for each of the conferences cover the following:

1.      Conference proceedings

2.      Coffee breaks

3.      Reception               [Excludes students]

4.      Lunch on 08/19/06 [Only for CAV and IJCAR, excludes students]

5.      Banquet                  [Only for LICS, RTA, SAT and ICLP, excludes students]

6.      Concession to register for workshops (not limited to the workshops affiliated with the conference) at reduced rate

7.      The right to attend talks in the technical program for any of the conferences or workshops held during the days of the conference(s) you are registered for

Lunch/Reception/Banquets Tickets

See the Important Dates page for the dates of receptions, lunch and banquets.

• All the conferences will have a banquet but the banquet ticket is only included in the non-student registration fees for LICS, SAT, RTA and ICLP.
• CAV and IJCAR attendees (in addition to students) will have to purchase banquet tickets separately.
• Lunch ticket for CAV and IJCAR attendees is included in the non-student registration fee.

Lunch/Reception/Banquet tickets can be purchased when you register, at the following rates:

1.      Lunch on 08/19/06 (45$),

2.      Reception (32$), Banquet (68$), need to specify the conference for which tickets are purchased

Workshops

There are two categories of registration (Student and General). There is an increase of +20% from Early to Regular, and +40% from Early to Late registration. Participants registered for at least one conference get a reduced registration fee for the workshops (20$ for 1-day workshop, and 30$ for 2-day workshops, regardless of whether the registration is Early, Regular or Late). Registration fee structure is as follows:

Registration fee for a workshop includes the following:

1.      Workshop proceedings

2.      Coffee breaks

3.      The right to attend talks in the technical program for any of the conferences or workshops held during the days of the workshop

Proceedings

Extra proceedings for the conferences and workshops can be purchased on-site. There is no option to purchase extra proceedings during the registration process.

Refund policies

1. A refund request received until August 1st is eligible for a refund of the fees with a 50$ cancellation fee.
2. After August 1^st and until August 10^th, there will be a partial refund of 50% of the fees.
3. There will be no refunds after August 10^th.

Discounts/Contributions

Here are some additional policies for registration to cover the specific cases:

1. All participants who register for two or more conferences will receive a $50 discount. The discount will be applied automatically during the registration process.
2. LICS/SAT/RTA participants wishing to register for the 2^nd day of the following workshops on the 16^th August (FATES/RV, VERIFY, ACL2, FCS-ARSPA, WST), can do so by paying the rates for a one-day workshop (e.g. $80 for a non-student early rate). The fee includes the proceedings for the workshops.
3. ICLP participants can provide a voluntary $50 contribution to ALP during the registration process.

Student Block Hotel Reservation

We have a limited number of discounted hotel rooms at the conference hotel (Seattle Sheraton) for student participants, where the double rate is identical to the single rate. Students interested in signing up for these rooms are required to enter some information (university, gender, preferred roommate, dates of stay etc.) during the registration process.

1. These rooms are meant for double accomodations. Students should either pair up to request such rooms, or FLoC will pair up people of the same gender.
2. Students will be informed (within 10 days of the receipt of the registration information) with the details to complete the hotel reservation. They will be informed within 10 days even in the case of non-availability of rooms.
3. We will continue to offer the service of pairing students up even after these rooms become unavailable, so students can double up in the standard rooms.