17th International Conference on Theory and Applications of Satisfiability Testing

July 14-17, 2014   ·   Vienna, Austria

Registration

On-Site Registration

The registration desk is located in the Freihaus Building (FH), on the first floor, in front of Hörsaal 1 (Area C, Red). You can find the building on the overview map.

Opening hours: 8:00-18:00 daily, 8:00-19:00 on July 13.

Pre-Registration

Registration for SAT 2014, as well as all other conferences and workshops of the Vienna Summer of Logic, is now open.

To register, please go to the VSL registration page.

The VSL registration page also contains information about how to obtain a visa or a letter of invitation.

SAT 2014 Conference Registration Fee

Regular
(until June 8)
Late
(until June 30)
Onsite
Non-student450 €520 €585 €
Student250 €290 €325 €

SAT 2014 Workshop Fee (Per Day)

Regular
(until June 8)
Late
(until June 30)
Onsite
100 €120 €130 €

No student discounts are available for workshops.

A USB stick with workshop proceedings can be purchased for 25 €.

Student Support

FLoC'14 Student Travel Grants

Students can apply for a FLoC Student Travel Grant of up to US$ 750, covering airfare and lodging. Application deadline is June 7.

VSL Student Volunteers

Students can also apply for helping the organizers as a VSL Student Volunteer. Duties include supporting the registration process, assisting with the use of the technical infrastructure, etc. Student volunteers can attend all VSL conferences for free. Details on the application process can be found here, the application deadline is May 25.