17th International Conference on Theory and Applications of Satisfiability Testing

July 14-17, 2014   ·   Vienna, Austria

Conference Venue

SAT 2014 takes place in Vienna, Austria, and will be part of the Vienna Summer of Logic. With over two thousand expected participants, the Vienna Summer of Logic 2014 will be the largest event in the history of logic, and will consist of twelve large conferences and numerous workshops, attracting researchers from all over the world.

Vienna, the capital of Austria, is well known for its historic role in music (Mozart, van Beethoven, Liszt, and Brahms, among others, came there to work), its churches (e.g., St. Stephen's Cathedral), museums and architecture. Moreover, Vienna was ranked the world's most livable city in 2005.

More information about the venue of SAT 2014 and the Vienna Summer of Logic can be found here.

Vienna Pictures