4 <title>Bid for TPHOLs 2009</title>

     4 <title>Bid for ITP 2015</title>

     5 <script src="http://maps.google.com/maps?file=api&amp;v=2&amp;key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg"

     5 <style>

     6             type="text/javascript"></script>

     6       #map_canvas {

     7     <script type="text/javascript">

     7         width: 500px;

     8 

     8         height: 400px;

     9     function initialize() {

    10       if (GBrowserIsCompatible()) {

    11         var map = new GMap2(document.getElementById("map_canvas"));

    12         var TUM = new GLatLng(48.2630841153, 11.66718006134);

    13         map.setCenter(TUM, 0);

    14         map.setMapType(G_HYBRID_MAP);

    15         map.addControl(new GSmallMapControl());

    16         map.addOverlay(new GMarker(TUM));

    18     }

    10     </style>

    19 

    11     <script src="https://maps.googleapis.com/maps/api/js?sensor=false"></script>

    12     <script>

    13       function initialize() {

    14         var Latlng = new google.maps.LatLng(32.060255, 118.796877);

    15         var map_canvas = document.getElementById('map_canvas');

    16         var map_options = {

    17           center: Latlng,

    18           zoom: 0,

    19           mapTypeId: google.maps.MapTypeId.HYBRID

    20         }

    21         var map = new google.maps.Map(map_canvas, map_options)

    22 

    23         var marker = new google.maps.Marker({

    24           position: Latlng,

    25           map: map,

    26           title: 'Nanjing'

    27         });

    28       }

    29       google.maps.event.addDomListener(window, 'load', initialize);

    45 <p align=center>

    59 

    46 <a href="pictures/cs_building.jpg">

    60 <p align=center>

    47 <img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a>

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

    48 <br>

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

    49 <b>Computer science building</b><br>

    63 <br>

    50 </p>

    64 <b>Linggusu</b><br>

    51 

    65 </p>

    52 <p align=center>

    66 

    53 <a href="pictures/magistrale.jpg">

    67 <p align=center>

    54 <img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a>

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

    55 <br>

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

    56 <b>Main hall of the computer science building</b><br>

    70 <br>

    57 </p>

    71 <b>Mochou</b><br>

    58 

    72 </p>

    59 <p align=center>

    73 

    60 <a href="pictures/englischer_garten.jpg">

    74 <p align=center>

    61 <img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>

    75 <a href="pics/ITP-najing-cit-walk.jpg">

    62 <br>

    76 <img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="18%" border=0></a>

    63 <b>Englischer Garten</b><br>

    77 <br>

    64 </p>

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

    65 

    79 </p>

    66 <p align=center>

    80 

    67 <a href="pictures/chinesischer_turm.jpg">

    81 <p align=center>

    68 <img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>

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

    69 <br>

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

    70 <b>Chinesischer Turm (Beer Garden)</b><br>

    84 <br>

    71 </p>

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

    72 

    86 </p>

    73 <p align=center>

    87 

    74 <a href="pictures/marienplatz.jpg">

    88 <p align=center>

    75 <img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>

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

    76 <br>

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

    77 <b>Marienplatz (City Center)</b><br>

    91 <br>

    78 </p>

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

    79 

    93 </p>

    80 <p align=center>

    94 

    81 <a href="pictures/nationaltheater.jpg">

    95 <p align=center>

    82 <img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a>

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

    83 <br>

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

    84 <b>The Nationaltheater</b><br>

    98 <br>

    85 </p>

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

    86 

   100 </p>

    87 <p align=center>

   101 

    88 <a href="pictures/maximilianstrasse.jpg">

   102 <p align=center>

    89 <img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstra&szlig;e" border=0></a>

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

    90 <br>

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

    91 <b>Maximilianstra&szlig;e</b><br>

   105 <br>

    92 </p>

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

    93 

   107 </p>   

    94 <p align=center>

   108   

    95 <a href="pictures/isar.jpg">

    96 <img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>

    97 <br>

    98 <b>The Isar river</b><br>

    99 </p>

   100 

   110 <TD><H1>Bid to host TPHOLs 2009 by Technische Universit&auml;t M&uuml;nchen</H1></TD>

   118 <TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>

   111 <TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD>

   119 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>

   115 The Department of Computer Science at TU Munich (located at the

   123 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>

   116 <a href="http://www.in.tum.de/campus/index.html.en">Campus Garching</a>)

   124 is situated in the heart of China — close to Shanghai and roughly equidistant

   117 would like to host the 22nd TPHOLs.

   125 between Beijing and Hong Kong. It is a former capital during the Ming

   118 

   126 Dynasty with a rich

   119 

   127 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. 

   120 <H4>Timing and Programme</H4>

   128 We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by

   121 

   129 Xingyuan Zhang and Christian Urban.

   122 Following the traditional timing of TPHOLs, we propose to hold the

   130 

   123 conference August 17-20 2009 (alternatively August 24-27).

   131 

   132 <H4>Travel to Nanjing</H4>

   133 

   134 Nanjing is a major city in China.

   135 There are international airline connections directly to

   136 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> 

   137 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There

   138 are also very convenient train connections from Shanghai and Beijing, which

   139 take slightly more than 1h from Shanghai and about 4h from Beijing.

   140 Travel within Nanjing can be done cheaply via taxi and public transport.

   126 We expect the conference will consist of four days of fully refereed

   143 <center>

   127 research paper presentations, invited talks, and poster presentations

   144 <div id="map_canvas" style="width: 300px; height: 170px"></div>

   128 for work-in-progress. Moreover, half a day will be dedicated to an

   145 </center>

   129 excursion, followed by the conference dinner in the evening.  We aim

   146 

   130 to provide plenty of time between the formal sessions for attendees to

   147 <H4>Venue and Accommodation</H4>

   131 mingle and converse, since we believe this to be a very valuable

   148 

   132 aspect of the conference.

   149 The plan is to host the conference at the

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

   151 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

   152 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities.

   153 

   154 <center>

   155 <table style="width: 50%">

   156 <tr>

   157 <td>

   158 <img src="pics/hotel1.jpg" width="98%" height="21%" border=0>

   159 </td>

   160 <td>

   161 <img src="pics/hotel2.jpg" width="98%" height="21%" border=0>

   162 </td>

   163 </tr>

   164 <tr>

   165 <td colspan="2"><center><small>Hanyuan Hotel</small></center></td>  

   166 </tr>  

   167 </table>

   168 </center>

   169 

   170 There are also many nearby hotels in all prize categories (link?).

   135 As in previous years we will seek to publish the main proceedings as a

   173 Hanyuan Hotel includes

   136 volume of Springer's Lecture Notes in Computer Science, and also to

   174 a restaurant and there are innumerable

   137 continue the tradition of offering a venue for the presentation of

   175 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>

   138 work-in-progress. The latter will be published as a separate

   176 around the hotel and in downtown Nanjing, all usually very affordable.

   139 volume. Both volumes will be prepared in time to be available for the

   177 

   140 conference.

   178 <H4>Advantages of Hosting ITP in Nanjing</H4>

   179 

   180 There are several groups in the ITP area that are active in China. For example for the last

   181 five years there have been popular

   182 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China about Coq

   183 with 50 or so student participants each. ITP (and TPHOLs) have

   184 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in

   185 China, and this might be an opportunity for the ITP community to foster relations

   186 with researchers from China and Asia, and for local researchers to become part of the

   187 ITP community.

   143 Our computer science building at the Campus Garching provides

   190 Being in China, Nanjing offers the usual conveniences of good and

   144 excellent facilities for lectures, coffee breaks, lunch, and Internet

   191 affordable food. It has several

   145 connectivity via WLAN.

   192 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A>

   146 

   193 and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>.

   147 

   194 In the nearby vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??).

   148 <H4>Organising Committee</H4>

   195 Travelling

   149 

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

   150 <UL>

   197 should not be difficult to obtain for participants

   151 <LI> <A HREF="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</A>

   198 (anything else to add?)

   152 <LI> <A HREF="http://www4.in.tum.de/~wenzelm/">Makarius Wenzel</A>

   199 

   153 <LI> <A HREF="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</A>

   200 

   154 <LI> <A HREF="http://www4.in.tum.de/~urbanc/">Christian Urban</A>

   201 <H4>Timing and programme</H4>

   155 </UL>

   202 

   156 

   203 As is the tradition, the conference will consist of 4 days of research

   157 

   204 presentations and invited talks. Like in

   158 <H4>Travel and Accomodation</H4>

   205 previous ITP conferences, we would allow ample time between the formal

   159 

   206 sessions for attendees to mingle and converse. We expect workshops to

   160 <A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated

   207 take place during one or two days before or after the main

   161 at the heart of Europe, the <a

   208 conference. Half a day will be dedicated to an excursion...

   162 href="http://www.munich-airport.de/en/consumer/index.jsp">Munich

   209 

   163 Aiport</a> is an important European hub for international flights from

   210 <H4>Excursion</H4>

   164 around the world.

   211 

   165 

   212 We have two possible destinations for an excursion in mind: one is to

   166 <p>

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

   167 

   214 

   168 <div id="map_canvas" style="width: 300px; height: 170px"></div>

   215 

   169 

   216 

   170 <p>

   217 <H4>Finance</H4>

   171 The <a href="http://www.in.tum.de/campus/index.html.en">Campus

   218 

   172 Garching</a> is located 10 km north of the city of Munich.  There are

   219 We will seek to keep costs low by negotiating discounts with

   173 frequent Underground connections, taking about half an hour from the

   220 the hotel and by trying to find sponsoring where sensible.  

   174 very center of Munich to the department of Computer Science.

   221 

   175 

   222 <H4>Experience of the Programme Chairs</H4>

   176 <p>

   223 

   177 Munich offers a wide range of accommodation facilities and

   224 Xingyuan and Christian are regular participants at ITP having had the good fortune to have

   178 restaurants.  Late August is usually the best season for enoying the

   225 papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference

   179 many beer gardens.

   226 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.

   180 

   227 

   181 

   182 <H4>Finance</H4> We will seek to keep the costs for attending the

   183 conference low.  In particular, funding for invited speakers will be

   184 available from the <a

   185 href="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA">Doctorate

   186 Program PUMA</a>.