--- a/index.html Thu Feb 20 15:23:01 2014 +0000
+++ b/index.html Tue Mar 25 16:16:55 2014 +0000
@@ -1,7 +1,7 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
-<title>Bid for ITP 2015</title>
+<title>ITP 2015 in Nanjing</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css">
#map_canvas {
@@ -107,7 +107,7 @@
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
<TABLE>
<TR>
-<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
+<TD><H1>ITP 2015 will be in Nanjing: Our bid has been accepted!</H1></TD>
<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
</TR>
</TABLE>
--- a/index.html~ Thu Feb 20 15:23:01 2014 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,277 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
-<title>Bid for ITP 2015</title>
-<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
- <style type="text/css">
- #map_canvas {
- width: 500px;
- height: 400px;
- }
- </style>
- <script type="text/javascript" src="https://maps.googleapis.com/maps/api/js?sensor=false"></script>
- <script type="text/javascript">
- function initialize() {
- var Latlng = new google.maps.LatLng(32.060255, 118.796877);
- var map_canvas = document.getElementById('map_canvas');
- var map_options = {
- center: Latlng,
- zoom: 0,
- mapTypeId: google.maps.MapTypeId.HYBRID
- }
- var map = new google.maps.Map(map_canvas, map_options)
-
- var marker = new google.maps.Marker({
- position: Latlng,
- map: map,
- title: 'Nanjing'
- });
- }
- google.maps.event.addDomListener(window, 'load', initialize);
- </script>
-<style type="text/css">
- body { font-size: 14px;
- font-family: "trebuchet ms", helvetica, sans-serif; }
-</style>
-</head>
-
-<BODY TEXT="#000000"
- BGCOLOR="#4169E1"
- LINK="#0000EF"
- VLINK="#51188E"
- ALINK="#FF0000"
- onload="initialize()" onunload="GUnload()">
-
-<TABLE WIDTH="100%"
- BGCOLOR="#4169E1"
- BORDER="0"
- FRAME="border"
- CELLPADDING="10"
- CELLSPACING="2"
- RULES="all">
-
-<!-- left column -->
-<TR>
-<TD BGCOLOR="#FFFFFF"
- WIDTH="20%"
- VALIGN="TOP"
- ROWSPAN="2">
-
-
-<p align=center>
-<a href="pics/ITP-Linggusu.jpg">
-<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a>
-<br>
-Linggusi pagoda<br>
-</p>
-
-<p align=center>
-<a href="pics/ITP-Mochou.jpg">
-<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>
-<br>
-Mochou Lake Park<br>
-</p>
-
-<p align=center>
-<a href="pics/ITP-najing-cit-walk.jpg">
-<img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="18%" border=0></a>
-<br>
-Nanjing city wall<br>
-</p>
-
-<p align=center>
-<a href="pics/Nanjing2.jpg">
-<img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
-<br>
-"Elephant Road" of the<br> Ming tomb<br>
-</p>
-
-<p align=center>
-<a href="pics/Nanjing3.jpg">
-<img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>
-<br>
-Nanjing's skyline<br>
-</p>
-
-<p align=center>
-<a href="pics/Nanjing4.jpg">
-<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a>
-<br>
-Science and Technology<br> Museum<br>
-</p>
-
-</TD>
-
-
-<!-- right column -->
-<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
-<TABLE>
-<TR>
-<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
-<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
-</TR>
-</TABLE>
-<BR>
-<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> 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 <A
-HREF="http://www.cityofnanjing.com">cultural heritage</A>. We propose
-to hold the 5th ITP Conference in Nanjing. The organising committee
-would be chaired by Xingyuan Zhang and Christian Urban.
-
-
-<H4>Travel to Nanjing</H4>
-
-Nanjing is a major city in China. There are international airline
-connections directly to <A
-HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing
-Lukou Airport</A> and via transfer at airports in Hong Kong, Beijing,
-Shanghai and many others. There are also very convenient train
-connections from Shanghai and Beijing, which take slightly more than
-1h from Shanghai and about 4h from Beijing. Travel within Nanjing can
-be done cheaply via taxi and public transport.
-
-<p>
-<center>
-<div id="map_canvas" style="width: 300px; height: 170px"></div>
-</center>
-
-<H4>Venue and Accommodation</H4>
-
-The plan is to host the conference 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 inexpensive
-(ca. 350元/£35/$60/€40 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&hl=en&ll=32.029617,118.838768&spn=0.204033,0.292854&sll=32.010405,118.824692&sspn=0.204076,0.292854&t=m&z=12">here</A>
-at Google Maps). It has the usual amenities for hosting conferences
-(Wifi, conference rooms, etc) and has links to neighbouring
-universities. There is also the possibility to use lecture rooms for
-free in Xingyuan's university at the other side of the road. Hanyuan
-Hotel includes a restaurant and there are innumerable <A
-HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
-around the hotel and in downtown Nanjing, all usually very affordable.
-
-<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>
-
-There are also many additional
-<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all price categories nearby.
-
-
-<H4>Advantages of Hosting ITP in Nanjing</H4>
-
-There are several groups in the ITP area that are active in China. For example for the last
-five years there have been popular
-<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq
-with 50 or so student participants each. ITP (and TPHOLs) have
-<A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">never</A> been hosted in
-China, and this might be an opportunity for the ITP community to foster relations
-with researchers from China and Asia, and for local researchers to become part of the
-ITP community.
-
-<p>
-Being in China, Nanjing offers the usual conveniences of good and
-affordable food. It has several excellent
-<A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A>
-and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>.
-In the nearby vicinity are touristic hotspots like
-<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>,
-<A HREF="http://en.wikipedia.org/wiki/Hangzhou">Hangzhou</A>,
-<A HREF="http://en.wikipedia.org/wiki/Wuxi">Wuxi</A> and
-<A HREF="http://en.wikipedia.org/wiki/Suzhou">Suzhou</A>.
-Travelling
-<A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A>
-to China should be easy to obtain for participants.
-
-
-<H4>Timing and programme</H4>
-
-We propose to hold the conference in late summer, for example in
-the last week of August (which is the usual time for ITP/TPHOLs) or
-first week of September. However we can be flexible and accommodate any
-other time in July and August. As is the tradition, the conference
-would consist of 4 days of research presentations and invited
-talks. Like in previous conferences, we would allow ample time
-between the formal sessions for attendees to mingle and converse. We
-expect workshops to take place during one or two days before or after
-the main conference. Half a day will be dedicated to an excursion...
-
-<H4>Excursion</H4>
-
-We have two possible destinations for an excursion in mind: one is to
-<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (1h away
-from Nanjing by bus), and the other is a (more leisurely) tour of
-Nanjing and its attractions. The tour to Yangzhou would involve a walk
-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
-would finish with a dinner in the well-known
-<A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant. The
-best tour around Nanjing is to go to the
-<A HREF="http://en.wikipedia.org/wiki/Purple_Mountain">Purple Mountains</A> passing by
-the <A HREF="http://en.wikipedia.org/wiki/Linggu_Temple">Linggusi</A> pagoda,
-the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the
-<A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on
-the left). There is a wide selection of excellent restaurants around
-Nanjing's Confucius Temple for a conference dinner. If our bid is
-chosen, we would canvas for opinions about what participants would be
-most interested in.
-
-<center>
-<table style="width: 75%">
-<tr>
-<td>
-<img src="pics/Yangzhou2.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
-</td>
-<td>
-<img src="pics/Yangzhou1.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
-</td>
-<td>
-<img src="pics/Yangzhou3.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
-</td>
-</tr>
-<tr>
-<td colspan="3"><center><small>Yangzhou, Slender West Lake</small></center></td>
-</tr>
-</table>
-</center>
-
-
-<H4>Finance</H4>
-
-We will seek to keep costs low by negotiating discounts with
-the hotel and by trying to find sponsoring where sensible.
-
-<H4>Experience of the Programme Chairs and Local Organisation</H4>
-
-Xingyuan and Christian are regular participants at ITP. Christian was a
-co-organiser of the TPHOLs conference
-in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
-We will make use of the infrastructure available at Xingyuan's university for local
-organisation. There will also be a student team that helps with running the conference.
-</TD>
-</TR>
-</TABLE>
-
-<hr>
-<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
-</body>
-</html>