<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);

<style>

  body { font-size: 14px;

         font-family: "trebuchet ms", helvetica, sans-serif; }

</style>

<a href="pics/ITP-Linggusu.jpg">

<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusu" border=0></a>

<b>Linggusu</b><br>

<a href="pics/ITP-Mochou.jpg">

<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>

<b>Mochou</b><br>

<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>

<b>Nanjing city wall</b><br>

<a href="pics/Nanjing1.jpg">

<img src="pics/Nanjing1.jpg" alt="City Wall" width="80%" height="13%" border=0></a>

<b>??</b><br>

<a href="pics/Nanjing2.jpg">

<img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a>

<b>??</b><br>

<a href="pics/Nanjing3.jpg">

<img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>

<b>Nanjing's skyline</b><br>

<a href="pics/Nanjing4.jpg">

<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a>

<b>Science and Technology<br> Museum</b><br>

</p>   

<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>

<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 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.

<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 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.

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 Hangzhou, Wuxie and Suzhou (??).

Travelling

<A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A>

should not be difficult to obtain for participants

(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 an excursion in mind: one is to

Yangzhou, and the other is more leisurly — a tour of Nanjing...

<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 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>.