Welcome to the 8th Asian Symposium on Programming Languages and Systems

Shanghai, China, 28 November‐1 December 2010

To the Hotel: Venue APLAS 2010 will be held at 请带我到 徐汇区衡山路 534 号(宛平路口)衡山宾馆 Hengshan Hotel Meaning: Please take me to 534 Hengshan Road, Hengshan Hotel. 534 Hengshan Road, , 200030, China 请带我到 徐汇区建国西路 691 号建工锦江大酒店 Tel: +86-21-64377050 Meaning: Please take me to 691 Jianguo West Road, Jiangong . Fax: +86-21-64333443

To the Airport: Shanghai Hengshan Hotel Map 请带我到 浦东国际机场 Meaning: Please take me to the International Airport

请带我到 虹桥国际机场 1(或 2)号航站楼 Meaning: Please take me to the Terminal 1 (2 resp.) of Hongqiao International Airport.

Contact Us Please feel free to contact the APLAS 2010

committee via following ways:  http://basics.sjtu.edu.cn/conference/ aplas2010/  E_mail: [email protected]  Fax: (86‐21) 34204728  Mobile: (86)13524340749 Xiaoju Dong

Shanghai Jiao Tong University SOME RECOMMENDATION FOR YOUR LEISURE TIME XI’s Garden(席家花园) Fragrant Camphor Garden Tun Run Tea House(唐韵茶坊) Tel: (8621)64747052 (香樟花园) Tel: (8621)34060126 Location: No.1 Dongping Road Tel: (8621) 64334385 Location: No.199 Hengshan Road Payment: cash Location: No.2 Henshan Road Payment: cash Business hours: Payment: cash, all cards Business hours: 10:00AM-00:00AM 11:00AM - 02:00PM, 5:00PM - 00:00AM Business hours: 9:00AM-4:00PM, 8:00PM-11:00PM Language: Chinese English Language: Chinese English Language: Chinese English Traffic: 15, 49, 93, 96, 02, 830, Mtr.1 Traffic: 824, 927, 236, Mtr.1 Traffic: 02, 15, 830, 824, 927, Mtr.1 After entering the Tun Run Teahouse, you will first The Xi’s Garden Restaurant’s flagship restaurant is The big camphor tree in the center of the restaurant take the long way with bamboos on two sides. Various located in the European-style villa built in 1913. Located has been the symbol of camphor garden. A lot of people teapots of ancient flavor are placed in the teahouse. The in the embassy area which boasts quietness and privacy, enjoy chatting and gathering here. Enjoying the elegant hanging lamp made of red lantern does boast innovative this villa is featured by white wall and red tiles. The design, accompanied by the gentle music, People can design. Traditional tea, health-care tea, modern tea and restaurant is famous for making SH local dishes and still forget all the trouble while eating Italian macaroni various refreshments are also served on the 2nd floor. You keeps on making effort to develop new dishes. together with cold green tea. will enjoy your teatime here in a wonderful way. Sasha’s (萨莎) Paulaner Brauhaus (宝莱纳) Lapis Lazuli (藏珑坊) Tel: (8621) 64746166 Tel: (8621)64745700 Tel: (8621) 64731021 Location: No.11 Dongpin Road Location: No.150 Fenyang Road Location: No.9 Dongping Road Payment: cash, all cards Payment: cash, credit card Payment: cash, all cards Business hours: 11:00 AM –1:00 AM Business hours:11:30AM-2:30AM Business hours:11:30AM-1:30AM Language: Chinese English Language: Chinese English German Language: Chinese English Traffic: 830 Traffic: 830,15 Traffic: 830, 15, 02, Mtr.1

The widely known restaurant and bar Sasha’s at the Paulaner Brauhaus Shanghai has opened its doors in During the years, Lapis Lazuli maintains its charm cross of Hengshan Road and Dongping Road was where February 1997. The authentic Bavarian restaurant, beer with its tranquil Zen-theme ambience. The interior Soong Ziwen lived. The house was built in 1921 and its garden, bars & microbrewery is located in Shanghai’s old enhances the existing architecture of a typical French roof is typical Dutch villa style. A big arc balcony on the French Legation Section. Today, it has already become Concession lane house. The mood there is romantic and south side of the building has been furnished with glass part of Shanghai's landmarks. Room style: Germany. the many choices of private corners aptly suit this type of windows. Food style: western gourmet. Food style: western gourmet. clientele. Food style: western gourmet, Italian.