Registration and Help Desk

See the Overview Map.

Reimbursement Information

For Workshop Organizers: Workshop organizers will receive their reimbursement in person from Ms. Franziska Gusel shortly after the commencement of each workshop! Ms. Gusel will visit each workshop location.

FLoC Conferences Discretionary Amounts: One of the conference chairs has to visit the Reimbursement Office located in the green part of the Freihaus Building, on the 5th floor across from the elevators to obtain the discretionary amount. The office hours are

• July 14, 15 and 16: 10:00–16:30
• July 19: 10:00–12:00 and 12:30–16:30
• July 21: 10:00–14:30
• July 22: 10:00–14:30

Speakers’ and Invitees’ Reimbursement: Speakers and Invitees have to visit the Reimbursement Office located in the green part of the Freihaus Building, on the 5th floor across from the elevators to obtain the discretionary amount. The office hours are July 14, 15 and 16 from 10:00 am until 4:30 pm!
The office hours during the VSL second week will be published here in due course.

Fees & Deadlines

Fees (in EUR): Logic in CS / FLoC · Mathematical Logic · Logic in AI

The regular delegate conference fee includes:

• participation in all days of the conference
• participation in any other scientific talks during the days of the conference for which you registered
• coffee breaks during the conference
• one reception
• one banquet
• one USB drive with VSL proceedings (except for Mathematical Logic Block!)

The student delegate conference fee includes:

• participation in all days of the conference
• participation in any other scientific talks during the days of the conference for which you registered
• coffee breaks during the conference
• one reception
• one student reception
• one USB drive with VSL proceedings (except for Mathematical Logic Block!)

The workshop fee includes:

• participation in the workshop
• participation in any other scientific talks during the day(s) of the workshop
• coffee breaks during the workshop

Registration Procedure

The registration below handles all events of the Vienna Summer of Logic. The registration consists of several steps, which can be reviewed and edited again in the last step (do not use the back button of your browser). To register for a VSL event, click the registration link below and follow the registration steps:

1. After accepting the disclaimer, select a conference block. You can select events from additional blocks later.
2. Fill out your personal data.
3. Choose the options of your registration (also consider the important notes on this page). Attendance of Lectures: If you are registered for an event (conference or workshop), you can attend all scientific lectures which happen on the days of this event.
   Presentation of Papers: For each presented paper, at least one of the authors must be registered for the event where the paper is presented (The only exception is FLoC: For each presented paper, at least one of the authors must be registered for the FloC event where he or she presents the paper, or for other FLoC events on all days of this event.)
4. In subsequent steps you can purchase additional tickets for social events, register for other Vienna Summer of Logic blocks/workshops or contract an insurance.
5. Review or edit your options in the final step of the registration.
6. After finalizing your options, proceed to payment.

Register Here
via Austropa Interconvention

For any problem or concern please contact ta.noitnevnocretninull@4102lsv

Accommodation

You may book your accommodation through Austropa Interconvention, who have made a pre-selection of centrally located hotels close to the conference venue at best possible rates. Please note that the pre-booked rooms are only available until June 2, 2014. After that, Austropa will try to find accommodation based on availability. For any problem or concern please contact ta.noitnevnocretninull@4102lsv

Book Accommodation Here
via Austropa Interconvention

FLoC 2014 Student Travel Support

Click here for more details

Visa / Procedure for those who require a letter of invitation

• A participant must register first and the registration payment must arrive.
• Austropa Interconvention who handles the registrations will then send an appropriate official invitation letter which can be used to obtain a visa.
• The contact address for obtaining the letter will be sent to the participants in question in the registration confirmation message.
• It is advisable to apply for a tourist visa.

Further visa information

Official Carrier – Austrian Airlines

Book your flights to Vienna online at www.austrian.com and save 15% on all applicable fares. To do so, simply enter the following code in the eVoucher field on the Austrian homepage booking engine: VSL14

Conditions:

• Booking period: now until July 24^th, 2014
• Valid for flights to Vienna and return as of July 2^nd, 2014 until July 31^st, 2014 (final date for return flight) on OS operated flights (the flight needs to have an OS flight number in order to qualify as an Austiran Airlines flight).
• Please note that the bookings cannot be made via a travel agent in the airline booking system as the offer to the Vienna Summer of Logic Congress is only bookable on-line via austrian.com