<!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="pics/ITP-Linggusu.jpg">
<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusu" border=0></a>
<br>
<b>Linggusu</b><br>
</p>
<p align=center>
<a href="pics/ITP-Mochou.jpg">
<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="15%" border=0></a>
<br>
<b>Mochou</b><br>
</p>
<p align=center>
<a href="pics/ITP-najing-cit-walk.jpg">
<img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="18%" border=0></a>
<br>
<b>Nanjing city wall</b><br>
</p>
<p align=center>
<a href="pics/Nanjing1.jpg">
<img src="pics/Nanjing1.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
<br>
<b>??</b><br>
</p>
<p align=center>
<a href="pics/Nanjing2.jpg">
<img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
<br>
<b>??</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 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 transport.
<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 (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&hl=en&ll=32.029617,118.838768&spn=0.204033,0.292854&sll=32.010405,118.824692&sspn=0.204076,0.292854&t=m&z=12">link</A> at Google Maps). It has the usual amenities for hosting
conferences (Wifi, conference rooms, etc) and has links to neighbouring universities.
<center>
<table style="width: 50%">
<tr>
<td>
<img src="pics/hotel1.jpg" width="98%" height="21%" border=0>
</td>
<td>
<img src="pics/hotel2.jpg" width="98%" height="21%" 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
<A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
around the hotel and in downtown Nanjing, all usually very affordable.
<H4>Advantages of Hosting ITP in Nanjing</H4>
There are several groups active in China active in the ITP area. For the last
five years there has been a popular
<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq taking place in China
with 50 or so student participants. ITP (and TPHOLs) have
<A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in
China, and this might be an opportunity for the ITP community to foster relations
with researchers from China and Asia, and for local researchers to become part of the
ITP community.
<p>
Being in China, Nanjing offers the usual conveniences of good and
affordable food. It has several
<A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A>
and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>.
In the near vicinity are touristic hotspots like Hangzhou ... (??).
Travelling
<A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A>
should not be difficult to obtain for nearly all researchers from the
ITP community.
(anything else to add?)
<H4>Timing and programme</H4>
As is the tradition, the conference will consist of 4 days of research
presentations and invited talks. 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.
<H4>Excursion</H4>
We have two possible destinations for excursions in mind: one is to
Yangzhou, and the other is more leisurly inside the city...
<H4>Finance</H4>
We will seek to keep costs low by negotiating discounts with
the hotel and try to find sponsoring where sensible.
<H4>Experience of the Programme Chairs</H4>
Xingyuan and Christian are regular participants at ITP having the good fortune to have
papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
</TD>
</TR>
</TABLE>
<hr>
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>