itp-2015: index.html@865c16294358 (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>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	<script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	type="text/javascript"></script>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	<script type="text/javascript">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	function initialize() {
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	if (GBrowserIsCompatible()) {
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	var map = new GMap2(document.getElementById("map_canvas"));
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	var TUM = new GLatLng(48.2630841153, 11.66718006134);
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	map.setCenter(TUM, 0);
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	map.setMapType(G_HYBRID_MAP);
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	map.addControl(new GSmallMapControl());
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	map.addOverlay(new GMarker(TUM));
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	}
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	}
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	</script>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	</head>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	<BODY TEXT="#000000"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	BGCOLOR="#4169E1"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	LINK="#0000EF"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	VLINK="#51188E"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	ALINK="#FF0000"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	onload="initialize()" onunload="GUnload()">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	<TABLE WIDTH="100%"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	BGCOLOR="#4169E1"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	BORDER="0"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	FRAME="border"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	CELLPADDING="10"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	CELLSPACING="2"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	RULES="all">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	<!-- left column -->
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	<TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	<TD BGCOLOR="#FFFFFF"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	WIDTH="20%"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	VALIGN="TOP"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	ROWSPAN="2">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	<a href="pictures/cs_building.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	<img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	<b>Computer science building</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	</p>
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	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	<a href="pictures/magistrale.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	<img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	<b>Main hall of the computer science building</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	</p>
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	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	<a href="pictures/englischer_garten.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	<img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	<b>Englischer Garten</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	<a href="pictures/chinesischer_turm.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	<img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	<b>Chinesischer Turm (Beer Garden)</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	<a href="pictures/marienplatz.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	<b>Marienplatz (City Center)</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	<a href="pictures/nationaltheater.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	<img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	<b>The Nationaltheater</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	<a href="pictures/maximilianstrasse.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	<img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstraße" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91	<b>Maximilianstraße</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	<a href="pictures/isar.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	<img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98	<b>The Isar river</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	101	</center>
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	</TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106	<!-- right column -->
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108	<TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109	<TR>
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	110	<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	<TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	</TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	</TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114	<BR>
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	115	<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	116	is a situated in the heart of China, a former capital during the Ming
3 13f56651ef26 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2 diff changeset	117	Dynasty with a rich cultural heritage. It is close to Shanghai and roughly equidistant
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	118	between Beijing and Hong Kong. This is a bid to host the 5th International Conference
20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	119	on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by
20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	120	Xingyuan Zhang and Christian Urban.
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	121
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	122
3 13f56651ef26 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2 diff changeset	123	<H4>Travel to Nanjing</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	124
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	125	There are many airline connections directly to
3 13f56651ef26 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2 diff changeset	126	<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A>
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	127	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	128	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	129	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	130	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	131
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	132	<H4>The Venue and Accommodation</H4>
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	133
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	134	The plan is to host the conference at the
10 71dba6aecd86 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	135	<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A> (Google Maps <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>) which is in easy
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	136	reach from the city centre. (...There are also many other hotels nearby.)
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	137
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	138	<center>
10 71dba6aecd86 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	139	<img src="pics/hotel1.jpg" width="30%" height="45%">
71dba6aecd86 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	140	<img src="pics/hotel2.jpg" width="30%" height="45%">
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	141	</center>
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	142
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	143	<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	144
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	145	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	146	in China, several centres (Shanghai, Beijing, ...)
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	147
8 adaf6b83330a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	148	Good food, conference trip
adaf6b83330a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	149
11 55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	150	<H4>Timing and programme</H4>
55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	151
55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	152	As is tradition, the conference will consist of 4 days of research
55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	153	presentations, invited talks and possibly poster sessions. As informal
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	154	discussions are central to the conference, we would allow ample time
11 55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	155	between the formal sessions for attendees to mingle and converse. We
55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	156	expect workshops to take place during one or two days before or after the
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	157	main conference. Half a day will be dedicated to an
865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	158	excursion (see below)
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	159
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	160	<H4>Excursion</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	161
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	162	We have two possible destinations for excursions: one is in
865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	163	Yangzhou, the other more leisurly inside the city...
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	164
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	165
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	166	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	167
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	168	<div id="map_canvas" style="width: 300px; height: 170px"></div>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	169
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	170	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	171	The <a href="http://www.in.tum.de/campus/index.html.en">Campus
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	172	Garching</a> is located 10 km north of the city of Munich. There are
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	173	frequent Underground connections, taking about half an hour from the
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	174	very center of Munich to the department of Computer Science.
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	175
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	176	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	177	Munich offers a wide range of accommodation facilities and
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	178	restaurants. Late August is usually the best season for enoying the
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	179	many beer gardens.
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	180
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	181
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	182	<H4>Finance</H4> We will seek to keep the costs for attending the
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	183	conference low.
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	184
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	185	<center>
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	186	<img src="pics/ITP-Linggusu.jpg">
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	187	<img src="pics/ITP-Mochou.jpg">
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	188	<img src="pics/ITP-najing-cit-walk.jpg">
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	189	</center>
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	190
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	191	</TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	192	</TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	193	</TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	194
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	195	<hr>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	196	<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	197	</body>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	198	</html>

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Tue, 11 Feb 2014 15:31:33 +0000
changeset 12	865c16294358
parent 11	55fe56a5989a
child 13	5e3bfed2838d
permissions	-rw-r--r--