itp-2015: index.html@c4dc7907c66b (annotated)

0 98b6328773c2 initial commit 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">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	<html>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<head>
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	4	<title>Bid for ITP 2015</title>
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	5	<style>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	6	#map_canvas {
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	7	width: 500px;
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	8	height: 400px;
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	9	}
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	10	</style>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	11	<script src="https://maps.googleapis.com/maps/api/js?sensor=false"></script>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	12	<script>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	13	function initialize() {
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	14	var Latlng = new google.maps.LatLng(32.060255, 118.796877);
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	15	var map_canvas = document.getElementById('map_canvas');
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	16	var map_options = {
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	17	center: Latlng,
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	18	zoom: 0,
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	19	mapTypeId: google.maps.MapTypeId.HYBRID
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	20	}
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	21	var map = new google.maps.Map(map_canvas, map_options)
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	23	var marker = new google.maps.Marker({
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	24	position: Latlng,
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	25	map: map,
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	26	title: 'Nanjing'
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	27	});
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	}
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	29	google.maps.event.addDomListener(window, 'load', initialize);
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	</script>
15 9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	31	<style>
9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	32	body { font-size: 14px;
9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	33	font-family: "trebuchet ms", helvetica, sans-serif; }
9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	34	</style>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	</head>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	<BODY TEXT="#000000"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	BGCOLOR="#4169E1"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	LINK="#0000EF"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	VLINK="#51188E"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	ALINK="#FF0000"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	onload="initialize()" onunload="GUnload()">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	<TABLE WIDTH="100%"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	BGCOLOR="#4169E1"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	BORDER="0"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	FRAME="border"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	CELLPADDING="10"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	CELLSPACING="2"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	RULES="all">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	<!-- left column -->
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	<TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	<TD BGCOLOR="#FFFFFF"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	WIDTH="20%"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	VALIGN="TOP"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	ROWSPAN="2">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	<p align=center>
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	61	<a href="pics/ITP-Linggusu.jpg">
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	62	<img src="pics/ITP-Linggusu.jpg" width="50%" height="10%" alt="Linggusu" border=0></a>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	<br>
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	64	<b>Linggusu</b><br>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	<p align=center>
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	68	<a href="pics/ITP-Mochou.jpg">
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	69	<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="10%" border=0></a>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	<br>
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	71	<b>Mochou</b><br>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	<p align=center>
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	75	<a href="pics/ITP-najing-cit-walk.jpg">
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	76	<img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="10%" border=0></a>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	<br>
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	78	<b>City Wall</b><br>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	</center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	</TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	<!-- right column -->
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	<TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	<TR>
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	90	<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	91	<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	</TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	</TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	<BR>
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	95	<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	96	is a situated in the heart of China — close to Shanghai and roughly equidistant
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	97	between Beijing and Hong Kong. It is a former capital during the Ming
14 e09fc4a380ba updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	98	Dynasty with a rich
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	99	<A HREF="http://www.cityofnanjing.com">cultural heritage</A>.
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	100	We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	101	Xingyuan Zhang and Christian Urban.
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103
3 13f56651ef26 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2 diff changeset	104	<H4>Travel to Nanjing</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105
16 8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	106	Nanjing is a major city in China.
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	107	There are international airline connections to
8a34dbbd8788 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 15 diff changeset	108	<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	109	and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
4 3f2b08975cc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 3 diff changeset	110	are also very convenient train connections from Shanghai and Beijing, which
3f2b08975cc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 3 diff changeset	111	take slightly more than 1h from Shanghai and about 4h from Beijing.
3f2b08975cc1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 3 diff changeset	112	Travel within Nanjing can be done cheaply via taxi and public transportation.
2 9bcf6b8176bd added travel Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	113
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	114	<p>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	115	<center>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	116	<div id="map_canvas" style="width: 300px; height: 170px"></div>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	117	</center>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	118
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	119	<H4>Venue and Accommodation</H4>
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	120
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	121	The plan is to host the conference at the
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	122	<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is in easy
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	123	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">link</A> at Google Maps). It has the usual amenities for hosting
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	124	a conference (Wifi, conference rooms, etc) and has links to neighbouring universities.
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	125
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	126	<center>
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	127	<table style="width: 50%">
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	128	<tr>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	129	<td>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	130	<img src="pics/hotel1.jpg" width="98%" height="36%" border=0>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	131	</td>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	132	<td>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	133	<img src="pics/hotel2.jpg" width="98%" height="36%" border=0>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	134	</td>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	135	</tr>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	136	<tr>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	137	<td colspan="2"><center><small>Hanyuan Hotel</small></center></td>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	138	</tr>
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	139	</table>
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	140	</center>
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	141
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	142	There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	143	a restaurant and there are innumerable
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	144	<A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	145	around the hotel and in downtown Nanjing, all usually very affordable.
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	146
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	147	<H4>Advantages of Hosting ITP in Nanjing</H4>
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	148
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	149	Many groups working on ITP, summerschool on Coq, never has been hosted
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	150	in China, several centres (Shanghai, Beijing, ...)
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	151
8 adaf6b83330a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	152	Good food, conference trip
adaf6b83330a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	153
11 55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	154	<H4>Timing and programme</H4>
55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	155
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	156	As is the tradition, the conference will consist of 4 days of research
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	157	presentations and invited talks. Like in
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	158	previous ITP conferences, we would allow ample time between the formal
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	159	sessions for attendees to mingle and converse. We expect workshops to
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	160	take place during one or two days before or after the main
a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	161	conference. Half a day will be dedicated to an excursion (see below).
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	162
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	163	<H4>Excursion</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	164
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	165	We have two possible destinations for excursions in mind: one is to
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	166	Yangzhou, and the other is more leisurly inside the city...
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	167
17 a512aa90613b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 16 diff changeset	168
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	169
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	170	<H4>Finance</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	171
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	172	We will seek to keep the costs low by using negotiating discounts with
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	173	the hotel.
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	174
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	175	<H4>Experience</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	176
18 c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	177	Xingyuan and Christian are regular participants at ITP having had papers
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	178	at all ITPs so far. Christian has been a co-organiser of the TPHOLs conference
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	179	in 2009 in Munich.
c4dc7907c66b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 17 diff changeset	180
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	181
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	182	</TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	183	</TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	184	</TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	185
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	186	<hr>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	187	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	188	</body>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	189	</html>

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Wed, 12 Feb 2014 09:35:55 +0000
changeset 18	c4dc7907c66b
parent 17	a512aa90613b
child 19	dd008d0a806f
permissions	-rw-r--r--