Welcome to Summer School on Formal Methods


August 06-August 15, 2019


Venue

Summer School Location

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

Google Map

Where to Stay

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.

.......