Descriptional Complexity of Formal Systems
Photo Gallery | Print-Outs | Contact
DCFS 2007
Getting There

The entry point for the High Tatras area is the railway station in the city of Poprad. Since most of the airlines, trains and buses will have changed their timetables by July 19, we can provide very general information only. Please check the timetables on the web.

By Air

The nearest airport is Poprad, however only a few flights land there. So we recommend flying to Bratislava, Košice or Vienna (Austria).

From these points you can take a direct IC express or a fast train to Poprad.

By Train to Poprad-Tatry

There is a direct connection by IC express or fast trains to Poprad from the following cities:
  • Bratislava (4 hours, departures approximately every 2 hours)
  • Košice (2 hours, departures approximately every 2 hours)
  • Vienna (Austria) (6 hours, 2 direct trains a day, but approximately every 2 hours with changing trains in Bratislava)
  • Prague (7-9 hours, there are 4 direct trains a day, three of them being overnight trains with sleeping wagons, and several other connections with changing trains either in Bratislava or in Žilina).
Timetables can be found here:
From Poprad-Tatry to Nový Smokovec

Take a direct connection from the Poprad railway station by Tatra's Electrical Railways (a mountain narrow-gauge train). The access to the platform for this train is upstairs from the hall in the railway station building. Take the trains directed to Štrbské Pleso. When you get to the station Starý Smokovec, prepare yourself for getting off at the next stop, which is Nový Smokovec (New Smokovec). After getting off, you will find yourself 50 meters from the entrance to the Atrium hotel.
Timetables for the mountain train can be found here:

Taxi from Poprad to Nový Smokovec

A taxi from the Poprad-Tatry railway station or the airport in Poprad costs about 350 - 700 SKK (negotiate in advance).

By Car

Please note, that if you want to use highways in Slovakia, you need to have a highway-toll ticket, which can be bought at every petrol station.
  • Coming from the west by Road E50 or D1, i.e. from Žilina, you have the following choices: (1) Either exit from the highway at Liptovský Hrádok and follow the signs navigating you to Pribilina, Podbanské, Štrbské Pleso (please note that this road goes through wonderful mountain scenery for about 30km, but you will neither pass through any villages nor go along any petrol station) or (2) follow E50 up to Tatranská Štrba where you turn to the left in the direction to Štrbské Pleso.
    In either case, drive from Štrbské Pleso in the direction to Starý Smokovec/Smokovce. After passing by the sign announcing the city limits of Nový Smokovec/Smokovce you will see the Atrium hotel on your left after some 500 meters.
  • Coming from the east by Road E50, i.e. from Prešov or Košice, you will first pass through Poprad where you should watch for the signs navigating you to Starý Smokovec/Smokovce. After coming to Starý Smokovec/Smokovce and crossing the railroad, turn immediately to the left, follow the main street in Smokovce for about 1km and watch for the Atrium hotel on your right.
  • Coming from the north, i.e. from Poland, crossing the border in Lysa Polana/Javorina, follow the signs for Tatranská Lomnica and then to Starý Smokovec/Smokovce. After crossing the city limits of Horný Smokovec/Smokovce, follow the main street for about 2km and watch for the Atrium hotel on your right.
Entry Visa

Citizens of most European countries, U.S.A. and Canada do not need entry visas. If you are not quite sure, check with the nearest Slovak consulate.
DCFS July 20 - 22, 2007, High Tatras, Slovakia