I W F M S
2 0 0 4


Chinese version

Home
 
Call for papers
 
Registration
 
Program
 
Accepted papers
 
Invited speakers
 
Organization
 
Practical information
 
Scenery of Nanjing
 
Photos
 


 
International Workshop on FORMAL METHODS and SECURITY

Nanjing, P. R. China
May 17 - 20, 2004

Workshop Secretariat (General information)
State Key Laboratory For Novel Software Technology
Nanjing University
210093, Nanjing, P. R. China

Tel: +86 25 8359 3670         Fax: +86 25 8359 3467
Email: keysoftlab@nju.edu.cn

Secretary-general: Prof. FEI Xiang-Lin

Accormadation
Participants will be lodged at the New Era Hotel, Nanjing. (map in English and in Chinese)

New Era Hotel
NO.251, Zhongshan Road
210008, Nanjing, P. R. China

Tel: +86 25 8330 2666         Fax: +86 25 8330 2777
Email: newerahotel@sohu.com

The rate for a single/double room at this hotel is 32 euros (300 CN Yuans) per night. (The exchange rate of the Euro to the Chinese Yuan is approximately 1 : 9.5.)

Trip Route (map in English and in Chinese)
  • From Shanghai airport to Nanjing

    1. The simplest way is to take the bus. There are shuttle buses from each airport (Pudong and Hongqiao) to Nanjing directly. At Pudong airport, buses are available at 11:20, 13:20, 15:10, 16:40 and 18:40. At Hongqiao airport, buses are available at 13:45, 15:45, 17:15 and 19:00. The price is around 120 CN Yuan.
    2. You can also take the train if the shuttle buese for Nanjing are not available. From Pudong airport, you can take the airport bus line 5 (every 20 minutes between 7:20 and 23:00) or a taxi to the Shanghai railway station, and take a train (around every 30 minutes) there to Nanjing.
  • From Nanjing airport to the New Era Hotel

    1. Take a taxi directly to the hotel, at the cost of around 150 CN Yuan.
    2. Take the airport bus (25 CN Yuan) to the Gu Lou stop, then by 5 minutes' walk to the hotel.
  • From Nanjing railway station to the New Era Hotel

    1. Take a taxi directly to the hotel, at the cost of around 14 CN Yuan.
    2. Take the bus No.1 or No.33 and get off at the Zhujiang Road stop.
  •  
     
    [Home | Call for papers | Registration | Program | Accepted papers |
    Invited speakers | Organization | Practical information | Scenery of Nanjing]
    This page is maintained by ZHANG Yu, last modified on April 21, 2004.