itp-2015: index.html@8eeb61050189 (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
8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	135	<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
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>
8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	139	<img src="pics/hotel1.jpg">
8eeb61050189 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 6 diff changeset	140	<img src="pics/hotel2.jpg">
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
3 13f56651ef26 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2 diff changeset	148	<H4>Not updated</H4>
2 9bcf6b8176bd added travel Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	149
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	150
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	151	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	152	We expect the conference will consist of four days of fully refereed
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	153	research paper presentations, invited talks, and poster presentations
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	154	for work-in-progress. Moreover, half a day will be dedicated to an
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	155	excursion, followed by the conference dinner in the evening. We aim
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	156	to provide plenty of time between the formal sessions for attendees to
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	157	mingle and converse, since we believe this to be a very valuable
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	158	aspect of the conference.
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	159
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	160	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	161	As in previous years we will seek to publish the main proceedings as a
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	162	volume of Springer's Lecture Notes in Computer Science, and also to
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	163	continue the tradition of offering a venue for the presentation of
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	164	work-in-progress. The latter will be published as a separate
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	165	volume. Both volumes will be prepared in time to be available for the
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	166	conference.
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	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	169	Our computer science building at the Campus Garching provides
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	170	excellent facilities for lectures, coffee breaks, lunch, and Internet
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	171	connectivity via WLAN.
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
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
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	176	<H4>Travel and Accomodation</H4>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	177
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	178	<A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	179	at the heart of Europe, the <a
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	180	href="http://www.munich-airport.de/en/consumer/index.jsp">Munich
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	181	Aiport</a> is an important European hub for international flights from
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	182	around the world.
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	183
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	184	<p>
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	<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	187
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	188	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	189	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	190	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	191	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	192	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	193
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	194	<p>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	195	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	196	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	197	many beer gardens.
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	198
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	<H4>Finance</H4> We will seek to keep the costs for attending the
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	201	conference low. In particular, funding for invited speakers will be
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	202	available from the <a
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	203	href="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA">Doctorate
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	204	Program PUMA</a>.
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	205
1 fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	206	<center>
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	207	<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	208	<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	209	<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	210	</center>
fe31be53ed49 added 3 pics Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	211
0 98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	212	</TD>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	213	</TR>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	214	</TABLE>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	215
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	216	<hr>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	217	<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	218	</body>
98b6328773c2 initial commit Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	219	</html>

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Tue, 11 Feb 2014 15:15:59 +0000
changeset 7	8eeb61050189
parent 6	5c0d0f923ac2
child 8	adaf6b83330a
permissions	-rw-r--r--