Welcome to Summer School on Formal Methods
August 06-August 15, 2019
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.
.......