<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html><head><title>Bid for ITP 2015</title><script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg" type="text/javascript"></script> <script type="text/javascript"> function initialize() { if (GBrowserIsCompatible()) { var map = new GMap2(document.getElementById("map_canvas")); var TUM = new GLatLng(48.2630841153, 11.66718006134); map.setCenter(TUM, 0); map.setMapType(G_HYBRID_MAP); map.addControl(new GSmallMapControl()); map.addOverlay(new GMarker(TUM)); } } </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="pictures/cs_building.jpg"><img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a><br><b>Computer science building</b><br></p><p align=center><a href="pictures/magistrale.jpg"><img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a><br><b>Main hall of the computer science building</b><br></p><p align=center><a href="pictures/englischer_garten.jpg"><img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a><br><b>Englischer Garten</b><br></p><p align=center><a href="pictures/chinesischer_turm.jpg"><img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a><br><b>Chinesischer Turm (Beer Garden)</b><br></p><p align=center><a href="pictures/marienplatz.jpg"><img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a><br><b>Marienplatz (City Center)</b><br></p><p align=center><a href="pictures/nationaltheater.jpg"><img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a><br><b>The Nationaltheater</b><br></p><p align=center><a href="pictures/maximilianstrasse.jpg"><img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstraße" border=0></a><br><b>Maximilianstraße</b><br></p><p align=center><a href="pictures/isar.jpg"><img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a><br><b>The Isar river</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="TUM-Logo-102.png" alt="TUM" align="top"></TD></TR></TABLE><BR><A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>is a situated in the heart of China. It is a former capital during the MingDynasty with a rich<A HREF="http://www.cityofnanjing.com">cultural heritage</A>. It is close to Shanghai and roughly equidistantbetween Beijing and Hong Kong. We like to propose to hold the 5th International Conferenceon Interactive Theorem Proving in Nanjing. The organising committee would be chaired byXingyuan Zhang and Christian Urban.<H4>Travel to Nanjing</H4>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. Thereare also very convenient train connections from Shanghai and Beijing, whichtake slightly more than 1h from Shanghai and about 4h from Beijing.Travel within Nanjing can be done cheaply via taxi and public transportation.<H4>The 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> (Google Maps <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>) which is in easyreach from the city centre. (...There are also many other hotels nearby.)<center><img src="pics/hotel1.jpg" width="30%" height="45%"><img src="pics/hotel2.jpg" width="30%" height="45%"></center><H4>Advantages of Hosting ITP in Nanjing</H4>Many groups working on ITP, summerschool on Coq, never has been hostedin China, several centres (Shanghai, Beijing, ...)Good food, conference trip<H4>Timing and programme</H4>As is tradition, the conference will consist of 4 days of researchpresentations, invited talks and possibly poster sessions. As informaldiscussions are central to the conference, we would allow ample timebetween the formal sessions for attendees to mingle and converse. Weexpect workshops to take place during one or two days before or after themain conference. Half a day will be dedicated to anexcursion (see below)<H4>Excursion</H4>We have two possible destinations for excursions: one is inYangzhou, the other more leisurly inside the city...<p><div id="map_canvas" style="width: 300px; height: 170px"></div><p>The <a href="http://www.in.tum.de/campus/index.html.en">CampusGarching</a> is located 10 km north of the city of Munich. There arefrequent Underground connections, taking about half an hour from thevery center of Munich to the department of Computer Science.<p>Munich offers a wide range of accommodation facilities andrestaurants. Late August is usually the best season for enoying themany beer gardens.<H4>Finance</H4> We will seek to keep the costs for attending theconference low. <center><img src="pics/ITP-Linggusu.jpg"><img src="pics/ITP-Mochou.jpg"><img src="pics/ITP-najing-cit-walk.jpg"></center></TD></TR></TABLE><hr><a href="http://validator.w3.org/check/referer">[Validate this page.]</a></body></html>