itp-2015: index.html~@e92ef125bd82 (annotated)

16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	<html>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<head>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	4	<title>Bid for ITP 2015</title>
35 f1731d31f41f update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 29 diff changeset	5	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
f1731d31f41f update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 29 diff changeset	6	<style type="text/css">
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	7	#map_canvas {
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	8	width: 500px;
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	9	height: 400px;
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	10	}
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	11	</style>
35 f1731d31f41f update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 29 diff changeset	12	<script type="text/javascript" src="https://maps.googleapis.com/maps/api/js?sensor=false"></script>
f1731d31f41f update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 29 diff changeset	13	<script type="text/javascript">
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	14	function initialize() {
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	15	var Latlng = new google.maps.LatLng(32.060255, 118.796877);
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	16	var map_canvas = document.getElementById('map_canvas');
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	17	var map_options = {
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	18	center: Latlng,
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	19	zoom: 0,
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	20	mapTypeId: google.maps.MapTypeId.HYBRID
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	21	}
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	22	var map = new google.maps.Map(map_canvas, map_options)
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	24	var marker = new google.maps.Marker({
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	25	position: Latlng,
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	26	map: map,
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	27	title: 'Nanjing'
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	28	});
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	}
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	30	google.maps.event.addDomListener(window, 'load', initialize);
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	</script>
35 f1731d31f41f update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 29 diff changeset	32	<style type="text/css">
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	33	body { font-size: 14px;
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	34	font-family: "trebuchet ms", helvetica, sans-serif; }
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	35	</style>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	</head>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	<BODY TEXT="#000000"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	BGCOLOR="#4169E1"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	LINK="#0000EF"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	VLINK="#51188E"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	ALINK="#FF0000"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	onload="initialize()" onunload="GUnload()">
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	<TABLE WIDTH="100%"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	BGCOLOR="#4169E1"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	BORDER="0"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	FRAME="border"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	CELLPADDING="10"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	CELLSPACING="2"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	RULES="all">
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	<!-- left column -->
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	<TR>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	<TD BGCOLOR="#FFFFFF"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	WIDTH="20%"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	VALIGN="TOP"
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	ROWSPAN="2">
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	60
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	<p align=center>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	62	<a href="pics/ITP-Linggusu.jpg">
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	63	<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	<br>
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	65	Linggusi pagoda<br>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	</p>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	<p align=center>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	69	<a href="pics/ITP-Mochou.jpg">
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	70	<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	<br>
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	72	Mochou Lake Park<br>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	</p>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	<p align=center>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	76	<a href="pics/ITP-najing-cit-walk.jpg">
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	77	<img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="18%" border=0></a>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	<br>
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	79	Nanjing city wall<br>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	</p>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	<p align=center>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	83	<a href="pics/Nanjing2.jpg">
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	84	<img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	<br>
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	86	"Elephant Road" of the<br> Ming tomb<br>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	</p>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	<p align=center>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	90	<a href="pics/Nanjing3.jpg">
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	91	<img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	<br>
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	93	Nanjing's skyline<br>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	</p>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	<p align=center>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	97	<a href="pics/Nanjing4.jpg">
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	98	<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	<br>
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	100	Science and Technology<br> Museum<br>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	101	</p>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103	</TD>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106	<!-- right column -->
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108	<TABLE>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109	<TR>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	110	<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	111	<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	</TR>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	</TABLE>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114	<BR>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	115	<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	116	is situated in the heart of China — close to Shanghai and roughly equidistant
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	117	between Beijing and Hong Kong. It is a former capital during the Ming
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	118	Dynasty with a rich
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	119	<A HREF="http://www.cityofnanjing.com">cultural heritage</A>.
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	120	We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	121	Xingyuan Zhang and Christian Urban.
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	122
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	123
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	124	<H4>Travel to Nanjing</H4>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	125
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	126	Nanjing is a major city in China.
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	127	There are international airline connections directly to
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	128	<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	129	and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	130	are also very convenient train connections from Shanghai and Beijing, which
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	131	take slightly more than 1h from Shanghai and about 4h from Beijing.
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	132	Travel within Nanjing can be done cheaply via taxi and public transport.
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	133
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	134	<p>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	135	<center>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	136	<div id="map_canvas" style="width: 300px; height: 170px"></div>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	137	</center>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	138
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	139	<H4>Venue and Accommodation</H4>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	140
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	141	The plan is to host the conference at the
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	142	<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
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	143	night including breakfast) and
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	144	in easy
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	145	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
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	146	conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	147	the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road.
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	148	Hanyuan Hotel includes
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	149	a restaurant and there are innumerable
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	150	<A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	151	around the hotel and in downtown Nanjing, all usually very affordable.
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	152
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	153	<center>
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	154	<table style="width: 75%">
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	155	<tr>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	156	<td>
35 f1731d31f41f update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 29 diff changeset	157	<img src="pics/hotel1.jpg" alt="hotel" width="98%" height="21%" border=0>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	158	</td>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	159	<td>
35 f1731d31f41f update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 29 diff changeset	160	<img src="pics/hotel2.jpg" alt="hotel" width="98%" height="21%" border=0>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	161	</td>
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	162	<td>
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	163	<img src="pics/hotel4.jpg" alt="hotel" width="98%" height="21%" border=0>
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	164	</td>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	165	</tr>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	166	<tr>
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	167	<td colspan="3"><center><small>Hanyuan Hotel</small></center></td>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	168	</tr>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	169	</table>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	170	</center>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	171
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	172	There are also many additional
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	173	<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories nearby.
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	174
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	175
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	176	<H4>Advantages of Hosting ITP in Nanjing</H4>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	177
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	178	There are several groups in the ITP area that are active in China. For example for the last
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	179	five years there have been popular
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	180	<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	181	with 50 or so student participants each. ITP (and TPHOLs) have
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	182	<A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	183	China, and this might be an opportunity for the ITP community to foster relations
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	184	with researchers from China and Asia, and for local researchers to become part of the
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	185	ITP community.
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	186
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	187	<p>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	188	Being in China, Nanjing offers the usual conveniences of good and
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	189	affordable food. It has several excellent
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	190	<A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	191	and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>.
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	192	In the nearby vicinity are touristic hotspots like
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	193	<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>,
29 9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	194	<A HREF="http://en.wikipedia.org/wiki/Hangzhou">Hangzhou</A>,
9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	195	<A HREF="http://en.wikipedia.org/wiki/Wuxi">Wuxi</A> and
9ce32a79d415 fixed errors Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 26 diff changeset	196	<A HREF="http://en.wikipedia.org/wiki/Suzhou">Suzhou</A>.
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	197	Travelling
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	198	<A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A>
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	199	to China should be easy to obtain for participants.
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	200
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	201
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	202	<H4>Timing and programme</H4>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	203
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	204	As is the tradition, the conference will consist of 4 days of research
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	205	presentations and invited talks. Like in
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	206	previous ITP conferences, we would allow ample time between the formal
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	207	sessions for attendees to mingle and converse. We expect workshops to
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	208	take place during one or two days before or after the main
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	209	conference. Half a day will be dedicated to an excursion...
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	210
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	211	<H4>Excursion</H4>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	212
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	213	We have two possible destinations for an excursion in mind: one is to
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	214	<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (one 1h away
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	215	from Nanjing by bus), and the other is a (more leisurely) tour of Nanjing and its
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	216	attractions. The tour to Yangzhou would involve a walk around the Slender West Lake
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	217	with its pavilions, the white Lotus Flower Pagoda and the Suzhou-style gardens.
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	218	One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou.
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	219	The day would finish with a dinner in the well-known Fuchun restaurant.
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	220	The best tour around Nanjing is to go to the Purple Mountains passing by the
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	221	the Linggusi pagoda, the city wall and the Ming tombs
68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	222	(see pictures on the left). There is a wide selection of excellent restaurants
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	223	around Nanjing's Confucius Temple for a conference dinner. If our bid is chosen, we would
52 68a42be6129e update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 35 diff changeset	224	canvas for opinions about what participants would be most interested in.
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	225
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	226	<H4>Finance</H4>
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	227
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	228	We will seek to keep costs low by negotiating discounts with
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	229	the hotel and by trying to find sponsoring where sensible.
abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	230
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	231	<H4>Experience of the Programme Chairs and Local Organisation</H4>
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	232
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	233	Xingyuan and Christian are regular participants at ITP. Christian was a
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	234	co-organiser of the TPHOLs conference
26 abaa87d69a1d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	235	in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
56 e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	236	We will make use of the infrastructure available at Xingyuan's university for local
e92ef125bd82 update Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 52 diff changeset	237	organisation. There will also be a student team that helps with running the conference.
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	238	</TD>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	239	</TR>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	240	</TABLE>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	241
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	242	<hr>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	243	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	244	</body>
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	245	</html>

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Thu, 13 Feb 2014 23:56:53 +0000
changeset 56	e92ef125bd82
parent 52	68a42be6129e
child 57	9e76f9eea7fb
permissions	-rw-r--r--