itp-2015: index.html@9052a9b07b59 (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>
15 9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	21	<style>
9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	22	body { font-size: 14px;
9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	23	font-family: "trebuchet ms", helvetica, sans-serif; }
9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	24	</style>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	</head>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	<BODY TEXT="#000000"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	BGCOLOR="#4169E1"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	LINK="#0000EF"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	VLINK="#51188E"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	ALINK="#FF0000"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	onload="initialize()" onunload="GUnload()">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	<TABLE WIDTH="100%"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	BGCOLOR="#4169E1"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	BORDER="0"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	FRAME="border"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	CELLPADDING="10"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	CELLSPACING="2"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	RULES="all">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	<!-- left column -->
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	<TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	<TD BGCOLOR="#FFFFFF"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	WIDTH="20%"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	VALIGN="TOP"
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	ROWSPAN="2">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	<a href="pictures/cs_building.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	<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	52	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	<b>Computer science building</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	<a href="pictures/magistrale.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	<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	59	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	<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	61	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	<a href="pictures/englischer_garten.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	<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	66	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	<b>Englischer Garten</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	<a href="pictures/chinesischer_turm.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	<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	73	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	<b>Chinesischer Turm (Beer Garden)</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	<a href="pictures/marienplatz.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	<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	80	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	<b>Marienplatz (City Center)</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	<a href="pictures/nationaltheater.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	<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	87	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	<b>The Nationaltheater</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	<a href="pictures/maximilianstrasse.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	<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	94	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	<b>Maximilianstraße</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	</p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98	<p align=center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	<a href="pictures/isar.jpg">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	<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	101	<br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102	<b>The Isar river</b><br>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103	</p>
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	</center>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	</TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	110	<!-- right column -->
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	<TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	<TR>
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	114	<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	115	<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	116	</TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117	</TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	118	<BR>
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	119	<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
13 5e3bfed2838d updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 12 diff changeset	120	is a situated in the heart of China. 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	121	Dynasty with a rich
e09fc4a380ba updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	122	<A HREF="http://www.cityofnanjing.com">cultural heritage</A>. It is close to Shanghai and roughly equidistant
e09fc4a380ba updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 13 diff changeset	123	between Beijing and Hong Kong. We like to propose to hold the 5th International Conference
5 20a3564ecec3 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 4 diff changeset	124	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	125	Xingyuan Zhang and Christian Urban.
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	126
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	127
3 13f56651ef26 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2 diff changeset	128	<H4>Travel to Nanjing</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	129
15 9052a9b07b59 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 14 diff changeset	130	There are international airline connections directly to
3 13f56651ef26 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2 diff changeset	131	<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	132	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	133	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	134	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	135	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	136
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	137	<H4>The Venue and Accommodation</H4>
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	138
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	139	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	140	<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	141	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	142
7 8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	143	<center>
10 71dba6aecd86 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 9 diff changeset	144	<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	145	<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	146	</center>
6 5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	147
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	148	<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	149
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	150	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	151	in China, several centres (Shanghai, Beijing, ...)
5c0d0f923ac2 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 5 diff changeset	152
8 adaf6b83330a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	153	Good food, conference trip
adaf6b83330a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 7 diff changeset	154
11 55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	155	<H4>Timing and programme</H4>
55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	156
55fe56a5989a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 10 diff changeset	157	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	158	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	159	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	160	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	161	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	162	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	163	excursion (see below)
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	164
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	165	<H4>Excursion</H4>
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	166
12 865c16294358 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 11 diff changeset	167	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	168	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	169
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	170
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	171	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	172
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	173	<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	174
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	175	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	176	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	177	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	178	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	179	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	180
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	181	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	182	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	183	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	184	many beer gardens.
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
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	187	<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	188	conference low.
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	189
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	190	<center>
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	191	<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	192	<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	193	<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	194	</center>
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	195
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	196	</TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	197	</TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	198	</TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	199
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	200	<hr>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	201	<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	202	</body>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	203	</html>

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Tue, 11 Feb 2014 16:09:14 +0000
changeset 15	9052a9b07b59
parent 14	e09fc4a380ba
child 16	8a34dbbd8788
permissions	-rw-r--r--