Venue And Hotel
As part of the Federated Logic Conference and the Vienna Summer of Logic, ITP 2014 will be held in Vienna University of Technology (TU Wien). The university is located in the center of Vienna, and is easily accessible by public transport. Vienna is home to many international restaurants, museums, and, of course, the world-renowned Wiener Staatsoper and Vienna Philarmonic Orchestra. The Vienna International Airport has direct flights from many countries across the globe, and it is only 20 km from the venue.
More information about the venue can be found at the Vienna Summer of Logic website.