<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>ITP 2015 in Nanjing</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>ITP 2015 will be in Nanjing: Our bid has been accepted!</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
(ca. 350元/£35/$60/€40 per night including breakfast)
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. 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.
<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 additional
<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all price categories nearby.
<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">summerschools</A> in China about Coq
with 50 or so student participants each. ITP (and TPHOLs) have
<A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">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 excellent
<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>
to China should be easy to obtain for participants.
<H4>Timing and programme</H4>
We propose to hold the conference in late summer, for example in
the last week of August (which is the usual time for ITP/TPHOLs) or
first week of September. However we can be flexible and accommodate any
other time in July and August. Our preference for late summer is because
temperatures in Nanjing will then be more moderate than in the high season.
<p>
As is the tradition, the conference
would consist of 4 days of research presentations and invited
talks. Like in previous 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> (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 <A HREF="http://arts.cultural-china.com/en/85Arts6286.html">Daming Temple</A>
and the old Stone Pagoda of Yangzhou. The day
would finish with a dinner in the well-known
<A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant. The
best tour around Nanjing is to go to the
<A HREF="http://en.wikipedia.org/wiki/Purple_Mountain">Purple Mountains</A> passing by
the <A HREF="http://en.wikipedia.org/wiki/Linggu_Temple">Linggusi</A> pagoda,
the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the
<A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on
the left). There is a wide selection of excellent restaurants around
Nanjing's Confucius Temple for a conference dinner. If our bid is
chosen, we would canvas for opinions about what participants would be
most interested in.
<center>
<table style="width: 75%">
<tr>
<td>
<img src="pics/Yangzhou2.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
</td>
<td>
<img src="pics/Yangzhou1.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
</td>
<td>
<img src="pics/Yangzhou3.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
</td>
</tr>
<tr>
<td colspan="3"><center><small>Yangzhou, Slender West Lake</small></center></td>
</tr>
</table>
</center>
<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 and Local Organisation</H4>
Xingyuan and Christian are regular participants at ITP. Christian was a
co-organiser of the TPHOLs conference
in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
We will make use of the infrastructure available at Xingyuan's university for local
organisation. There will also be a student team that helps with running the conference.
</TD>
</TR>
</TABLE>
<hr>
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>