|ISoLA - 1st International Symposium on Leveraging Applications of Formal Methods|
The ISoLA 2004 symposium will take place in Cyprus in the Paphos Amathus Hotel in Paphos. Participants may take advantage of the special rates the conference has secured for accommodation in the hotel. Alternative accommodation in nearby hotels has also been arranged at lower prices. An on-line reservation form will become available in June.
Travelling to ISoLA
In Cyprus there are two International airports: Larnaca and Pafos. Most travellers reach Cyprus through the Larnaca International Airport which is the largest of the two. The Paphos International Airport is situated only 8 miles away from the conference venue and would be the most convenient option for conference participants. Nonetheless transfers to the conference site will be arranged from/to both locations.
Larnaca International Airport (LCA/LCLK)
is served by a great number of major flight companies (currently, Aeroflot Russian Airlines, Aeroflot-Don, Aerosvit Airlines, Air 2000, Air Berlin, Air Malta, Air Moldova, Air Slovakia, Alitalia, Armenian Airlines, Austrian Airlines, Balkan, Belavia, British Airways, Condor Flugdienst, Cyprus Airways, Czech Airlines, Eastern Ukranian Airlines, Egyptair, El Al Israel Airlines, Emirates, Finnair, Gulf Air, Hapag Lloyd, IRS Aero, Iran Air, JAT, KLM-Royal Dutch Airlines, Kuwait Airways, L.T.U International Airways, LOT-Polish Airlines, Libyan Arab Airlines, Lufthansa, MALEV, MEA, Olympic Airways, Palestinian Airlines, Royal Jordanian, SABENA, SAS, SWISSAIR, Samara Airlines, Syrian Arab Airlines, TAROM) . In particular, it offers convenient connections to Frankfurt, Amsterdam, London, Rome, Brussels, Vienna, and Athens.
The airport is 4 miles (6km) outside of Larnaca.
Paphos International Airport (PFO/LCPH)
is served by Air 2000, Austrian Airlines, British Airways, Cyprus Airways, El Al Israel Airlines, Finnair, Hapag Lloyd, IRS Aero, KLM-Royal Dutch Airlines, Transaero Airlines.
The airport is located 8 miles (13km) east of Paphos.
From Larnaca and Paphos Airports to the conference venue
Transfers to the center of Paphos (conference venue) will be arranged from both airports. These will be by either bus, minibus or taxi. For those interested in renting a car, various international car rental companies (Hertz, Avis, Budget, Europcar, Sixt, Thrifty) and a number of local companies are represented at both airports. Private taxis are also available 24 hours.
Reception desks to assist you with your trip will be present in both locations.
Cyprus is situated in the eastern Mediterranean Sea and has an area of 9,251 square kilometers, of which 1,733 are forested. The present population of Cyprus is 802,000 of whom 81% are Greek Cypriots, 12% Turkish Cypriots and 7% are foreigners residing in Cyprus.
According to mythology Cyprus is the birthplace of the goddess of love and beauty, Aphrodite. The island is both an ancient land, with an eleven thousand year-old history and civilization as well as a young independent Republic since 1960.
The west coast town of Pafos focuses around an attractive little harbour whose picturesque open air fish restaurants line a quayside of bright fishing boats and pleasure craft. With a population of just 28.000 Pafos nestles in the lee of the Western Troodos Mountains which add another dimension to this area of scenic beauty.
Pafos has an air of holiday charm combined with history, and olden-day elegance is lent to the town by its classical style buildings in the upper part of town which leads to the shopping area. The lower part of the town - known as Kato Pafos - has a life of its own, down near the sea, home of the harbour, the fish tavernas, souvenir shops and several beautiful hotels with important archaeological sites around them.
Pafos is entwined with Greek mythology, and the legendary birth of Afrodite. These legends brought her shores fame and worshippers who came to follow the cult of the Goddess. Landmarks associated with Afrodite are the chunky, rugged rocks of her beautiful birthshore known as the Afrodite Rocks or "Petra tou Romiou", the evocative sanctuary of Afrodite at Kouklia Village, one-time shrine and scene of pagan festivals for thousands, the Baths of Afrodite at Polis, supposed source of fertility and the Fountain of Love, or Fontana Amorosa , a few miles further into the Akamas Peninsula. Even the town's name is linked to the Goddess, for Pafos was the name of the mythological daughter of Venus and Pygmalion.
Pafos became the capital of Cyprus under the successors of Alexander the Great, the Ptolemies, and in those days its harbour was a busy, thriving port. It continued as the island's first city for more than seven centuries, retaining its importance under Roman rule. Its most famous Governor Sergius Paulus, was converted to Christianity by St Paul in 45 AD.
But Pafos history dates back a great deal further. In fact the whole area abounds in historical and archaeological treasures.
Maps of Cyprus
Maps of Cyprus can be found at http://www.intercyprus.com/cyprus_map.html
A map of Paphos is at http://www.intercyprus.com/maps/Cyprus_map_11.jpg
Information on the current weather conditions in Cyprus
For children's amusement the Paphos Amathus Hotel provides a well-supervised playground close to the paddling pool. Here your children will enjoy a full day of play, beach games and kids' movies.
The Cyprus unit of currency is the Cyprus Pound, abbreviated as CYP. (1 CYP ~ 1.7 Euro) ( 1 CYP ~ 2 USD) (approximate values).
Please note that participants from the USA, Australia, Canada and Western Europe do not need a passport visa to travel to Cyprus. Participants from Syria, Jordan, the Arab Gulf (Aman, Quatar, Bahrain, Kuwait, etc) and countries of the former Soviet Union can obtain a visa upon arrival at Larnaca Airport after presenting a letter of invitation (to be issued by the conference organizing committee), a valid passport, a return ticket to and from Cyprus and information on local accommodation. If a visa is required for your country, then please visit the URL http://www.mfa.gov.cy/mfa/mfa.nsf/EmbassiesList in order to find out your nearest Cypriot consulate or embassy.
Electricity in Cyprus is 240V.
All major credit cards are accepted widely, but not everywhere. If in doubt, ask in advance.
It is advisable to take some cash with you for the first few days in Cyprus. Traveller's cheques are a safe alternative to cash and are handy if you do not have a credit card.
Banks are open on week days between 8:30 and 13:00. On Mondays they are also open 15:15 - 16:45.