--- a/index.html Tue Feb 11 16:09:14 2014 +0000
+++ b/index.html Wed Feb 12 00:14:34 2014 +0000
@@ -46,19 +46,6 @@
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">
@@ -112,23 +99,24 @@
<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>
+<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 a situated in the heart of China. It is a former capital during the Ming
+is a 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>. It is close to Shanghai and roughly equidistant
-between Beijing and Hong Kong. We like to propose to hold the 5th International Conference
-on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by
+<A HREF="http://www.cityofnanjing.com">cultural heritage</A>.
+We like 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>
-There are international airline connections directly to
-<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A>
+Nanjing is a major city in China.
+There are international airline connections to
+<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly
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.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/index.html~ Wed Feb 12 00:14:34 2014 +0000
@@ -0,0 +1,199 @@
+<!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">
+
+ 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>
+</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 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>
+</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.
+
+
+<H4>Organising Committee</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>
+
+
+<H4>Travel and Accomodation</H4>
+
+<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.
+
+<p>
+
+<div id="map_canvas" style="width: 300px; height: 170px"></div>
+
+<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.
+
+<p>
+Munich offers a wide range of accommodation facilities and
+restaurants. Late August is usually the best season for enoying the
+many beer gardens.
+
+
+<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>.
+
+</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>
Binary file pics/nanjing-map.jpg has changed
