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.
For details see the VSL registration page.
17th International Conference on Theory and Applications
of Satisfiability Testing
July 14-17, 2014 · Vienna, Austria
July 14-17, 2014 · Vienna, Austria
Conference
- About
- Important Dates
- Organization
- Invited Speakers
- Workshops
- Competitions
- Accepted Papers
- Program
- Group Picture
- Contact Information
Calls
Participation
- Registration
- Accommodation
- Travel Information
- Conference Venue