<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Bid for ITP 2015</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css">
#map_canvas {
width: 500px;
height: 400px;
}
</style>
<script type="text/javascript" src="https://maps.googleapis.com/maps/api/js?sensor=false"></script>
<script type="text/javascript">
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 type="text/css">
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="Linggusi" border=0></a>
<br>
Linggusi pagoda<br>
</p>
<p align=center>
<a href="pics/ITP-Mochou.jpg">
<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>
<br>
Mochou Lake Park<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>
Nanjing city wall<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>
"Elephant Road" of the<br> Ming tomb<br>
</p>
<p align=center>
<a href="pics/Nanjing3.jpg">
<img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>
<br>
Nanjing's skyline<br>
</p>
<p align=center>
<a href="pics/Nanjing4.jpg">
<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a>
<br>
Science and Technology<br> Museum<br>
</p>
</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 directly to
<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A>
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 inexpensive and 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">here</A> at Google Maps). It has the usual amenities for hosting
conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also
the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road.
<center>
<table style="width: 75%">
<tr>
<td>
<img src="pics/hotel1.jpg" alt="hotel" width="98%" height="21%" border=0>
</td>
<td>
<img src="pics/hotel2.jpg" alt="hotel" width="98%" height="21%" border=0>
</td>
<td>
<img src="pics/hotel4.jpg" alt="hotel" width="98%" height="21%" border=0>
</td>
</tr>
<tr>
<td colspan="3"><center><small>Hanyuan Hotel</small></center></td>
</tr>
</table>
</center>
There are also many nearby
<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories.
<p>
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 in the ITP area that are active in China. For example for the last
five years there have been popular
<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China about Coq
with 50 or so student participants each. 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 nearby vicinity are touristic hotspots like
<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>,
<A HREF="http://en.wikipedia.org/wiki/Hangzhou">Hangzhou</A>,
<A HREF="http://en.wikipedia.org/wiki/Wuxi">Wuxi</A> and
<A HREF="http://en.wikipedia.org/wiki/Suzhou">Suzhou</A>.
Travelling
<A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A>
should not be difficult to obtain for participants.
<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 an excursion in mind: one is to
<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (one 1h away
from Nanjing by bus), and the other is a (more leisurely) tour of Nanjing and its
attractions. The tour to Yangzhou would involve a walk around the Slender West Lake
with its pavilions, the white Lotus Flower Pagoda and the Suzhou-style gardens.
One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou.
The day would finish with a dinner in the well-known Fuchun restaurant.
The best tour around Nanjing is to go to the Purple Mountains passing by the
the Linggusi pagoda, the city wall and the Ming tombs.
(see pictures on the left). There is a wide selection of excellent restaurants
around Nanjing's Confucius Temple for a conference dinner. If chosen, we would
canvas for opinions about what participants would be most interested in.
<H4>Finance</H4>
We will seek to keep costs low by negotiating discounts with
the hotel and by trying to find sponsoring where sensible.
<H4>Experience of the Programme Chairs</H4>
Xingyuan and Christian are regular participants at ITP having had the good fortune of their
papers being 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>