--- 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 @@
 
 <p>
 The 6th conference on Interactive Theorem Proving was held in
-Nanjing, China. 
-<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated
-in the heart of China &#8212; close to Shanghai and roughly
-equidistant between Beijing and Hong Kong. It is a former capital
-during the Ming Dynasty with a rich <A
-HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
-The proceedings will be published as usual in the
+Nanjing, China. The proceedings were published as usual in the
 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A>
 Series. There was an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
@@ -145,13 +139,13 @@
 
 <H4><A NAME="programme">Programme</H4>
 
-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 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>
 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>.
-The preliminary programme of talks can be found
+The programme of talks can be found
 <A HREF="prog1.pdf">here</A>.
 
 
@@ -198,52 +192,9 @@
 by credit card, but not the conference fee. See the <A HREF="booklet5.pdf">booklet</A> for
 details about the bank transfer.
 
-<H4>Venue and Accommodation</H4>
-
-The conference will take place at the
-<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan
-Hotel</A>, which is relatively inexpensive
-(ca. 390&#20803;/&pound;34/$52/&euro;47 per night including breakfast)
-and in easy reach from the city centre
-<!-- (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&amp;hl=en&amp;ll=32.029617,118.838768&amp;spn=0.204033,0.292854&amp;sll=32.010405,118.824692&amp;sspn=0.204076,0.292854&amp;t=m&amp;z=12">here</A>
-at Google Maps). -->
-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
-<A HREF="booklet5.pdf">booklet</A> for information about the hotel booking.
-
-
-<p>
-<center>
-<table style="width: 75%">
-<tr>
-<td>
-<img src="pics/hotel1.jpg" alt="hotel" width="98%" height="21%" border=0>
-</td>
-<td>
-<img src="pics/hotel2.jpg" alt="hotel" width="98%" height="21%" border=0>
-</td>
-<td>
-<img src="pics/hotel4.jpg" alt="hotel" width="98%" height="21%" border=0>
-</td>
-</tr>
-<tr>
-<td colspan="3"><center><small>Hanyuan Hotel</small></center></td>  
-</tr>  
-</table>
-</center>
-
-<p>
-There are also many additional
-<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all price categories nearby.
-Also there are innumerable <A
-HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> in the area.
-
 
 <H4>Local Information</H4>
 
-
-
 <p>
 Being in China, Nanjing offers the usual conveniences of good and
 affordable food. It has several excellent
@@ -265,16 +216,11 @@
 
 <H4>Excursion</H4>
 
-The excursion will be to 
+The excursion went to 
 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (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 <A HREF="http://arts.cultural-china.com/en/85Arts6286.html">Daming Temple</A>
-and the old Stone Pagoda of Yangzhou.  The day
-will finish with a dinner in the well-known
-<A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant.
-
+Flower Pagoda and the Suzhou-style gardens.  
 <center>
 <table style="width: 75%">
 <tr>