<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Bid for ITP 2015</title>
<style>
#map_canvas {
width: 500px;
height: 400px;
}
</style>
<script src="https://maps.googleapis.com/maps/api/js?sensor=false"></script>
<script>
function initialize() {
var Latlng = new google.maps.LatLng(32.060255, 118.796877);
var map_canvas = document.getElementById('map_canvas');
var map_options = {
center: Latlng,
zoom: 0,
mapTypeId: google.maps.MapTypeId.HYBRID
}
var map = new google.maps.Map(map_canvas, map_options)
var marker = new google.maps.Marker({
position: Latlng,
map: map,
title: 'Nanjing'
});
}
google.maps.event.addDomListener(window, 'load', initialize);
</script>
<style>
body { font-size: 14px;
font-family: "trebuchet ms", helvetica, sans-serif; }
</style>
</head>
<BODY TEXT="#000000"
BGCOLOR="#4169E1"
LINK="#0000EF"
VLINK="#51188E"
ALINK="#FF0000"
onload="initialize()" onunload="GUnload()">
<TABLE WIDTH="100%"
BGCOLOR="#4169E1"
BORDER="0"
FRAME="border"
CELLPADDING="10"
CELLSPACING="2"
RULES="all">
<!-- left column -->
<TR>
<TD BGCOLOR="#FFFFFF"
WIDTH="20%"
VALIGN="TOP"
ROWSPAN="2">
<p align=center>
<a href="pictures/englischer_garten.jpg">
<img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>
<br>
<b>Englischer Garten</b><br>
</p>
<p align=center>
<a href="pictures/chinesischer_turm.jpg">
<img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>
<br>
<b>Chinesischer Turm (Beer Garden)</b><br>
</p>
<p align=center>
<a href="pictures/marienplatz.jpg">
<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>
<br>
<b>Marienplatz (City Center)</b><br>
</p>
<p align=center>
<a href="pictures/nationaltheater.jpg">
<img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a>
<br>
<b>The Nationaltheater</b><br>
</p>
<p align=center>
<a href="pictures/maximilianstrasse.jpg">
<img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstraße" border=0></a>
<br>
<b>Maximilianstraße</b><br>
</p>
<p align=center>
<a href="pictures/isar.jpg">
<img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>
<br>
<b>The Isar river</b><br>
</p>
</center>
</TD>
<!-- right column -->
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
<TABLE>
<TR>
<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
</TR>
</TABLE>
<BR>
<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
is a situated in the heart of China — close to Shanghai and roughly equidistant
between Beijing and Hong Kong. It is a former capital during the Ming
Dynasty with a rich
<A HREF="http://www.cityofnanjing.com">cultural heritage</A>.
We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by
Xingyuan Zhang and Christian Urban.
<H4>Travel to Nanjing</H4>
Nanjing is a major city in China.
There are international airline connections to
<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly
and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
are also very convenient train connections from Shanghai and Beijing, which
take slightly more than 1h from Shanghai and about 4h from Beijing.
Travel within Nanjing can be done cheaply via taxi and public transportation.
<p>
<center>
<div id="map_canvas" style="width: 300px; height: 170px"></div>
</center>
<H4>Venue and Accommodation</H4>
The plan is to host the conference at the
<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
reach from the city centre (<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
a conference (Wifi, conference rooms) and has links to the nearby universities.
<center>
<table style="width: 50%">
<tr>
<td>
<img src="pics/hotel1.jpg" width="98%" height="36%" border=0>
</td>
<td>
<img src="pics/hotel2.jpg" width="98%" height="36%" border=0>
</td>
</tr>
<tr>
<td colspan="2"><center><small>Hanyuan Hotel</small></center></td>
</tr>
</table>
</center>
There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes
a restaurant and there are innumerable restaurants around the hotel and in downtown
Nanjing (link?).
<H4>Advantages of Hosting ITP in Nanjing</H4>
Many groups working on ITP, summerschool on Coq, never has been hosted
in China, several centres (Shanghai, Beijing, ...)
Good food, conference trip
<H4>Timing and programme</H4>
As is tradition, the conference will consist of 4 days of research
presentations, invited talks and possibly poster sessions. Like in
previous ITP conferences, we would allow ample time between the formal
sessions for attendees to mingle and converse. We expect workshops to
take place during one or two days before or after the main
conference. Half a day will be dedicated to an excursion (see below).
<H4>Excursion</H4>
We have two possible destinations for excursions: one is in
Yangzhou, the other more leisurly inside the city...
<p>
<p>
The <a href="http://www.in.tum.de/campus/index.html.en">Campus
Garching</a> is located 10 km north of the city of Munich. There are
frequent Underground connections, taking about half an hour from the
very center of Munich to the department of Computer Science.
<p>
Munich offers a wide range of accommodation facilities and
restaurants. Late August is usually the best season for enoying the
many beer gardens.
<H4>Finance</H4> We will seek to keep the costs for attending the
conference low.
<center>
<table>
<img src="pics/ITP-Linggusu.jpg">
<img src="pics/ITP-Mochou.jpg">
<img src="pics/ITP-najing-cit-walk.jpg">
</table>
</center>
</TD>
</TR>
</TABLE>
<hr>
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>