Welcome to Summer School on Formal Methods


(Part of CONFESTA)


August 24-September 1, 2018


Venue

Summer School Location

Lecture Hall, Jingchunyuan 82, Peking University, Haidian District, Beijing 100871, China

Seminar Room (334), Level 3, Building 5, Institute of Software, Chinese Academy of Sciences

No. 4, South Fourth Street, Zhong Guan Cun, Beijing 100190, China

(Due to the organizational coordination issue and unforeseen inconveniences caused by this, the original planned and scheduled venue for the school is no longer available. Sincerely apologize for the change. If this change of venue causes any inconvenience, such as already booked hotels, please contact the local organizer at xuebai@ios.ac.cn and/or +8613552483249.)

Google Map

Where to Stay

Beijing Xihua Hotel is nestled in Beijing, with the foothills of the Xiangshan Mountain and Xishan Mountain as backdrop. Only 8-minute walk from Peking University, the hotel offers a beauty shop, 4-star upscale rooms and free Wi-Fi in the entire property.

Beijing Post Hotel is in Zhongguancun High-Tech Park, a 5-minute walk from Tsinghua University and Peking University. It features elegant accommodation that combines modern decoration and Oriental-inspired accent.

Ariva Beijing West Hotel is located in the heart of Zhongguancun Science Park. Only 1.8 km from Peking University. The elegant Ariva Beijing West offers a restaurant, fitness centre and indoor swimming pool. Free internet and parking are provided.

Tea Tree Apartment has 1 bedroom and a fully fitted kitchenette with a fridge. Only 0.9 km from Peking University.

.......

Beijing Xihua Hotel is nestled in Beijing, with the foothills of the Xiangshan Mountain and Xishan Mountain as backdrop. Only 8-minute walk from Peking University, the hotel offers a beauty shop, 4-star upscale rooms and free Wi-Fi in the entire property.

The Park Plaza Beijing Science Park (Beijing Liting Huayuan Jiudian),is located at the heart of Beijing's Zhongguancun Science Park, a fifteen-minute walk from Institute of Software Chinese Academy of Sciences. It is close to top universities such as Tsinghua University and Peking University as well. With the Bird's Nest and Water Cube just a stone's throw away, and with Metro lines 10 and 13 within walking distance, guests of this hotel will have easy access to all of the city's major tourist attractions.

Beijing Jingyi Hotel (Beijing Jingyi Dajiudian),is located in the heart of Zhongguancun Science Park, a fifteen-minute walk from Institute of Software Chinese Academy of Sciences. It is conveniently close to such top Beijing attractions as the Bird's Nest, the Water Cube and the Summer Palace. A metro station is also within easy reach of the hotel.

Beijing Wenjin Hotel (Beijing Wenjin Guoji Jiudian), located in Tsinghua Science & Tech Park, is in the heart of Zhongguancun, known as the Silicon Valley of China. It is a twenty-minute walk from Institute of Software Chinese Academy of Sciences.

Liaoning International Hotel (Rongjin Guoji Jiudian), is located near Zhongguancun (a large technology district in Beijing. It is a fifteen-minute walk from Institute of Software Chinese Academy of Sciences.

.......