Subsections

Shanghai

Wednesday 5 December

Met at airport by Xi Wu and Hong YanHong:

Checked into the luxurious:

Shanghai Marriott Hotel Changfeng Park
158 Da Du He Road, Putuo District, Shanghai 200062 China
Phone: 86-21-22156666

My Hosts

ECNU: East China Normal Univ.
School of Software
He JiFeng, jifeng@sei.ecnu.edu.cn
Huibiao Zhu, hbzhu@sei.ecnu.edu.cn

Seminar

After seminar talks with:

Zhu HuiBiao Jean-Raymonf Abrial

Rest

Back to hotel, some rest, and dinner at the Japanese restaurant.

Thursday 6 December

Tutorial, I/II

Two day tutorial: Domain Science and Engineering
Abstract and Text

Rest

Back to hotel, some rest, and dinner at the Dome restaurant.

Friday 7 December

Tutorial, II/II

Dinner

Dinner at restaurant 4 mins. walk from hotel.

He JiFeng Lu RuQian

It was nice to meet, at ECNU, many former visitors, Staff, Fellows and Guest Professors, to UNU-IIST. To them their stay at UNU-IIST, as late as the mid 00's, was of vital importance to their studies and career.

Saturday 8 December

With Jean-Raymond Abrial first to the Hu Xin Ting teahouse next to the Yu Yuan garden, then for lunch at M on the Bund (1) and M on the Bund (2).

An interesting article on garden design is From Syntax to Plot: the spatial language of a Chinese garden.

Sunday 9 December

Bullet Train: Shanghai \bgroup\color{red}$\rightarrow$\egroup Beijing : Was taken to the nearby HongQiao railway station at 7:50 am by Prof. Zhu HuiBiao and Ms Xi Wu. A luxurious business class seat in an almost empty train carried me at 300 \bgroup\color{red}$\pm$\egroup2 km/hour in 4h48min to Beijing. All the way: flat, or almost flat landscape: the rice bowl of China.

Dines Bjorner 2012-12-24