diff -r 4955de7cda06 -r 44a7aeafa10b index.html --- a/index.html Thu Aug 27 09:36:20 2015 +0800 +++ b/index.html Thu Aug 27 09:52:14 2015 +0800 @@ -108,13 +108,7 @@

The 6th conference on Interactive Theorem Proving was held in -Nanjing, China. -Nanjing is situated -in the heart of China — close to Shanghai and roughly -equidistant between Beijing and Hong Kong. It is a former capital -during the Ming Dynasty with a rich cultural heritage. -The proceedings will be published as usual in the +Nanjing, China. The proceedings were published as usual in the LNCS Series. There was an Isabelle tutorial before the @@ -145,13 +139,13 @@

Programme

-As is the tradition, the conference consists of 4 days +As is the tradition, the conference consisted of 4 days of research presentations and invited talks. Like in previous -conferences, we will have ample time between the formal sessions for -attendees to mingle and converse. Half a day will be dedicated to an +conferences, there was ample time between the formal sessions for +attendees to mingle and converse. Half a day was dedicated to an excursion to Yangzhou and the Slender West Lake. -The preliminary programme of talks can be found +The programme of talks can be found here. @@ -198,52 +192,9 @@ by credit card, but not the conference fee. See the booklet for details about the bank transfer. -

Venue and Accommodation

- -The conference will take place at the -Hanyuan -Hotel, which is relatively inexpensive -(ca. 390元/£34/$52/€47 per night including breakfast) -and in easy reach from the city centre - -The conference hotel has the usual amenities (Wifi, conference rooms, etc) -and includes a restaurant. -We have reserved some rooms in the hotel for participants. See the -booklet for information about the hotel booking. - - -

-

- - - - - - - - - -
-hotel - -hotel - -hotel -
Hanyuan Hotel
-
- -

-There are also many additional -hotels in all price categories nearby. -Also there are innumerable restaurants in the area. -

Local Information

- -

Being in China, Nanjing offers the usual conveniences of good and affordable food. It has several excellent @@ -265,16 +216,11 @@

Excursion

-The excursion will be to +The excursion went to Yangzhou (1h away -from Nanjing by bus). The tour will include a walk +from Nanjing by bus). We walked around the Slender West Lake with its pavilions, the white Lotus -Flower Pagoda and the Suzhou-style gardens. One the way we would -visit the Daming Temple -and the old Stone Pagoda of Yangzhou. The day -will finish with a dinner in the well-known -Fuchun restaurant. - +Flower Pagoda and the Suzhou-style gardens.