--- a/index.html Thu Feb 13 00:06:01 2014 +0000
+++ b/index.html Thu Feb 13 11:51:44 2014 +0000
@@ -59,51 +59,44 @@
<p align=center>
<a href="pics/ITP-Linggusu.jpg">
-<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusu" border=0></a>
+<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a>
<br>
-<b>Linggusu</b><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>
-<b>Mochou</b><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>
-<b>Nanjing city wall</b><br>
-</p>
-
-<p align=center>
-<a href="pics/Nanjing1.jpg">
-<img src="pics/Nanjing1.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
-<br>
-<b>??</b><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>
-<b>??</b><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>
-<b>Nanjing's skyline</b><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>
-<b>Science and Technology<br> Museum</b><br>
+Science and Technology<br> Museum<br>
</p>
</center>
@@ -167,7 +160,8 @@
</table>
</center>
-There are also many nearby hotels in all prize categories (link?).
+There are also many nearby
+<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories.
<p>
Hanyuan Hotel includes
@@ -191,11 +185,13 @@
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 (??).
+In the nearby vicinity are touristic hotspots like
+<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
-(anything else to add?)
+should not be difficult to obtain for participants.
<H4>Timing and programme</H4>
--- a/index.html~ Thu Feb 13 00:06:01 2014 +0000
+++ b/index.html~ Thu Feb 13 11:51:44 2014 +0000
@@ -1,23 +1,37 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
-<title>Bid for TPHOLs 2009</title>
-<script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg"
- type="text/javascript"></script>
- <script type="text/javascript">
+<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)
- 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));
+ var marker = new google.maps.Marker({
+ position: Latlng,
+ map: map,
+ title: 'Nanjing'
+ });
}
- }
-
+ google.maps.event.addDomListener(window, 'load', initialize);
</script>
+<style>
+ body { font-size: 14px;
+ font-family: "trebuchet ms", helvetica, sans-serif; }
+</style>
</head>
<BODY TEXT="#000000"
@@ -42,62 +56,56 @@
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>
+<a href="pics/ITP-Linggusu.jpg">
+<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusu" border=0></a>
<br>
-<b>Computer science building</b><br>
+<b>Linggusu</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>
+<a href="pics/ITP-Mochou.jpg">
+<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>
<br>
-<b>Main hall of the computer science building</b><br>
+<b>Mochou</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>
+<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>
-<b>Englischer Garten</b><br>
+<b>Nanjing city wall</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>
+<a href="pics/Nanjing1.jpg">
+<img src="pics/Nanjing1.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
<br>
-<b>Chinesischer Turm (Beer Garden)</b><br>
+<b>??</b><br>
</p>
<p align=center>
-<a href="pictures/marienplatz.jpg">
-<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>
+<a href="pics/Nanjing2.jpg">
+<img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
<br>
-<b>Marienplatz (City Center)</b><br>
+<b>??</b><br>
</p>
<p align=center>
-<a href="pictures/nationaltheater.jpg">
-<img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a>
+<a href="pics/Nanjing3.jpg">
+<img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>
<br>
-<b>The Nationaltheater</b><br>
+<b>Nanjing's skyline</b><br>
</p>
<p align=center>
-<a href="pictures/maximilianstrasse.jpg">
-<img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstraße" border=0></a>
+<a href="pics/Nanjing4.jpg">
+<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" 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>
-
+<b>Science and Technology<br> Museum</b><br>
+</p>
+
</center>
</TD>
@@ -107,93 +115,122 @@
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
<TABLE>
<TR>
-<TD><H1>Bid to host TPHOLs 2009 by Technische Universität München</H1></TD>
-<TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD>
+<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>
-The Department of Computer Science at TU Munich (located at the
-<a href="http://www.in.tum.de/campus/index.html.en">Campus Garching</a>)
-would like to host the 22nd TPHOLs.
-
-
-<H4>Timing and Programme</H4>
-
-Following the traditional timing of TPHOLs, we propose to hold the
-conference August 17-20 2009 (alternatively August 24-27).
-
-<p>
-We expect the conference will consist of four days of fully refereed
-research paper presentations, invited talks, and poster presentations
-for work-in-progress. Moreover, half a day will be dedicated to an
-excursion, followed by the conference dinner in the evening. We aim
-to provide plenty of time between the formal sessions for attendees to
-mingle and converse, since we believe this to be a very valuable
-aspect of the conference.
-
-<p>
-As in previous years we will seek to publish the main proceedings as a
-volume of Springer's Lecture Notes in Computer Science, and also to
-continue the tradition of offering a venue for the presentation of
-work-in-progress. The latter will be published as a separate
-volume. Both volumes will be prepared in time to be available for the
-conference.
-
-<p>
-Our computer science building at the Campus Garching provides
-excellent facilities for lectures, coffee breaks, lunch, and Internet
-connectivity via WLAN.
+<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>Organising Committee</H4>
+<H4>Travel to Nanjing</H4>
-<UL>
-<LI> <A HREF="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</A>
-<LI> <A HREF="http://www4.in.tum.de/~wenzelm/">Makarius Wenzel</A>
-<LI> <A HREF="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</A>
-<LI> <A HREF="http://www4.in.tum.de/~urbanc/">Christian Urban</A>
-</UL>
+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>
-
-<H4>Travel and Accomodation</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.
-<A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated
-at the heart of Europe, the <a
-href="http://www.munich-airport.de/en/consumer/index.jsp">Munich
-Aiport</a> is an important European hub for international flights from
-around the world.
+<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?).
<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.
-<div id="map_canvas" style="width: 300px; height: 170px"></div>
+<H4>Advantages of Hosting ITP in Nanjing</H4>
-<p>
-The <a href="http://www.in.tum.de/campus/index.html.en">Campus
-Garching</a> is located 10 km north of the city of Munich. There are
-frequent Underground connections, taking about half an hour from the
-very center of Munich to the department of Computer Science.
+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>
-Munich offers a wide range of accommodation facilities and
-restaurants. Late August is usually the best season for enoying the
-many beer gardens.
+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>Finance</H4> We will seek to keep the costs for attending the
-conference low. In particular, funding for invited speakers will be
-available from the <a
-href="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA">Doctorate
-Program PUMA</a>.
+<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>.
+
</TD>
</TR>
</TABLE>
<hr>
-<!-- Created: Thu Feb 28 19:21:12 CET 2008 -->
-<!-- hhmts start -->
-Last modified: Fri Feb 29 19:07:15 CET 2008
-<!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>