SAT 2013
16th International Conference on Theory and Applications of Satisfiability Testing

July 8-12, 2013   ·   Helsinki, Finland


The following hotels are located in central Helsinki within a walking distance from the conference venue. Other hotels can be found on services such as TripAdvisor or

We recommend all SAT 2013 attendees to book their rooms early, since the conference takes place during the high summer season.

We cannot guarantee that the room rates quoted are the cheapest possible. The quoted rates are available for the period July 6-13 for a limited number of rooms reserved by the hotel, and are subject to availability. For making a booking with these rates, please use the provided booking code when making your booking directly with the hotel.

Notice that, apart from the budget alternatives, hotel bookings in Finland typically include a generous buffet breakfast, wireless access (possibly free, depending on the booking), and access to sauna. Please double-check details directly with the hotel. All prices include taxes.

Hotel Distance Room rates (single/double) Booking code
GLO Hotel Kluuvi
Kluuvikatu 4
150 m check with hotel
Sokos Hotel Helsinki
Kluuvikatu 8
150 m 105/125 SAT 2013
Hotel Cumulus Kaisaniemi
Kaisaniemenkatu 7
300 m 90/98 SAT2013 reserve
Hotel Arthur
Vuorikatu 19
400 m 85/105 SAT2013
Radisson Blu Plaza Hotel
Mikonkatu 23
500 m check with hotel
Hotelli Seurahuone
Kaivokatu 12
700 m 98/104 SAT2013 reserve
Sokos Hotel Vaakuna
Asema-aukio 2
700 m check with hotel
Holiday Inn Helsinki City Centre
Elielinaukio 5
800 m 104/104 SAT2013 reserve
Scandic Grand Marina Hotel
Katajanokanlaituri 7
1.1 km 89/99 BSAT060713
Scandic Grand Paasi Hotel
Paasivuorenkatu 5 b
1.2 km 99/109 BSAT060713
Sokos Hotel Presidentti
Eteläinen Rautatiekatu 4
1.2 km 100/120 SAT 2013

Budget alternatives
Omena Hotels
Eerikinkatu 24
Yrjönkatu 30
Lönnrotinkatu 13
1.0 km
900 m
1.0 km
Linnankatu 9
1.4 km
Hostel Domus Academica
Hietaniemenkatu 14
Good choice for participants of SAT-SMT Summer School
1.8 km