Logic: Between Semantics and Proof Theory

Excursion (to Jaffa)

 

The old city of Jaffa (Yaffo) has been an important port town for thousands of years. Today this is one of the most attractive places to tour in Tel Aviv. Our tour goes through thousands of years of history, mixture of scents, narrow winding alleys, art galleries, and colorful bazaars.

 

The tour is about two and a half hours, Friday 16:00 – 18:30.

 

Please make sure that you bring with you comfortable shoes, a camera, and an umbrella.

 

Please note that a bus will take us to Jaffa directly from the conference venue. 

Transportation to Maxim Hotel right after the trip will be arranged for those who will need it.

 

 

Hotels

 

Below you will find a list of Tel-Aviv hotels, which will provide a reduced rate for the workshop participants. To make a special rate reservation, please send by September 12 the following information to Anna Zamansky or Ori Lahav:

 

(1)  name of hotel

(2)  dates of your stay in Tel-Aviv

(3)  number of people in the room


Unfortunately, the discounted rate is only available for single rooms. 

 

Due to the holiday season, we will not be able to process reservations made after September 12.

 

For your convenience, the list is divided into the southern and northern part of Tel-Aviv beach, the southern part being further away from the workshop venue, but closer to the city center. Note that the conference venue is not within a walking distance from either of these locations. 

 

 


Hotel

Address

North/South

Tal Atlas

287 Hayarkon St

North

Alexander Suites

3 Havakuk St

North

Grandbeach

250 Hayarkon St

North

Maxim Hotel

86 Hayarkon St

South

Lusky Hotel

84 Hayarkon St

South

Artplus Atlas

35 Ben Yehuda St

South

Park Plaza Orchid

79 Hayarkon St

South

 

Google map with hotels is available here.

 

Travel Information

From the airport you can get to Tel-Aviv city center:

 

1.    By train, timetables are available here.

Get off the train at Tel-Aviv center Savidor station (Arlozorov 2000 terminal).

Take bus No 10., which goes along Ben Yehuda St. (close to Yarkon St.).

Another option is taking a taxi from the train station.

 

2.    By taxi (~ 140 NIS ).

 

 

Please contact Anna Zamansky or Ori Lahav for further assistance.