index.html
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 12 Feb 2014 09:13:06 +0000
changeset 17 a512aa90613b
parent 16 8a34dbbd8788
child 18 c4dc7907c66b
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
<html>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
<head>
1
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
     4
<title>Bid for ITP 2015</title>
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
     5
<style>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
     6
      #map_canvas {
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
     7
        width: 500px;
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
     8
        height: 400px;
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
     9
      }
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    10
    </style>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    11
    <script src="https://maps.googleapis.com/maps/api/js?sensor=false"></script>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    12
    <script>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    13
      function initialize() {
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    14
        var Latlng = new google.maps.LatLng(32.060255, 118.796877);
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    15
        var map_canvas = document.getElementById('map_canvas');
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    16
        var map_options = {
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    17
          center: Latlng,
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    18
          zoom: 0,
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    19
          mapTypeId: google.maps.MapTypeId.HYBRID
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    20
        }
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    21
        var map = new google.maps.Map(map_canvas, map_options)
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    22
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    23
        var marker = new google.maps.Marker({
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    24
          position: Latlng,
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    25
          map: map,
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    26
          title: 'Nanjing'
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    27
        });
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
      }
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
    29
      google.maps.event.addDomListener(window, 'load', initialize);
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    30
    </script>
15
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    31
<style>
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    32
  body { font-size: 14px;
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    33
         font-family: "trebuchet ms", helvetica, sans-serif; }
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    34
</style>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
</head>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    37
<BODY TEXT="#000000" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
      BGCOLOR="#4169E1" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
      LINK="#0000EF" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
      VLINK="#51188E" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
      ALINK="#FF0000"
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    42
      onload="initialize()" onunload="GUnload()">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
<TABLE WIDTH="100%" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
       BGCOLOR="#4169E1" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
       BORDER="0"   
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
       FRAME="border"  
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
       CELLPADDING="10"     
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
       CELLSPACING="2"
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
       RULES="all">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
<!-- left column -->
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    53
<TR>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
<TD BGCOLOR="#FFFFFF" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
    WIDTH="20%" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
    VALIGN="TOP" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
    ROWSPAN="2">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
<a href="pictures/englischer_garten.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    62
<img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    64
<b>Englischer Garten</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    65
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    66
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    67
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
<a href="pictures/chinesischer_turm.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
<img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
<b>Chinesischer Turm (Beer Garden)</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    75
<a href="pictures/marienplatz.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    76
<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    77
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    78
<b>Marienplatz (City Center)</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    80
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
<a href="pictures/nationaltheater.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
<img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
<b>The Nationaltheater</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    86
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    88
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
<a href="pictures/maximilianstrasse.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    90
<img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstra&szlig;e" border=0></a>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    91
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    92
<b>Maximilianstra&szlig;e</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    93
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    94
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    95
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    96
<a href="pictures/isar.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    97
<img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    98
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    99
<b>The Isar river</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   100
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   101
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   102
</center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   103
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104
</TD>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   105
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   106
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   107
<!-- right column -->
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   108
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   109
<TABLE>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   110
<TR>
1
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   111
<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
16
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   112
<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   113
</TR>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   114
</TABLE>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   115
<BR>
5
20a3564ecec3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 4
diff changeset
   116
<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
16
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   117
is a situated in the heart of China &#8212; close to Shanghai and roughly equidistant
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   118
between Beijing and Hong Kong. It is a former capital during the Ming
14
e09fc4a380ba updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 13
diff changeset
   119
Dynasty with a rich
16
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   120
<A HREF="http://www.cityofnanjing.com">cultural heritage</A>. 
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   121
We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by
5
20a3564ecec3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 4
diff changeset
   122
Xingyuan Zhang and Christian Urban.
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   123
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   124
3
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 2
diff changeset
   125
<H4>Travel to Nanjing</H4>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   126
16
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   127
Nanjing is a major city in China.
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   128
There are international airline connections to 
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   129
<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly
5
20a3564ecec3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 4
diff changeset
   130
and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
4
3f2b08975cc1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 3
diff changeset
   131
are also very convenient train connections from Shanghai and Beijing, which
3f2b08975cc1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 3
diff changeset
   132
take slightly more than 1h from Shanghai and about 4h from Beijing.
3f2b08975cc1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 3
diff changeset
   133
Travel within Nanjing can be done cheaply via taxi and public transportation.
2
9bcf6b8176bd added travel
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 1
diff changeset
   134
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   135
<p>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   136
<center>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   137
<div id="map_canvas" style="width: 300px; height: 170px"></div>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   138
</center>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   139
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   140
<H4>Venue and Accommodation</H4>
6
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   141
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   142
The plan is to host the conference at the
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   143
<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
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   144
reach from the city centre (<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> at Google Maps). It has the usual amenities for hosting
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   145
a conference (Wifi, conference rooms) and has links to the nearby universities.
6
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   146
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   147
<center>
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   148
<table style="width: 50%">
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   149
<tr>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   150
<td>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   151
<img src="pics/hotel1.jpg" width="98%" height="36%" border=0>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   152
</td>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   153
<td>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   154
<img src="pics/hotel2.jpg" width="98%" height="36%" border=0>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   155
</td>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   156
</tr>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   157
<tr>
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   158
<td colspan="2"><center><small>Hanyuan Hotel</small></center></td>  
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   159
</tr>  
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   160
</table>
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   161
</center>
6
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   162
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   163
There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   164
a restaurant and there are innumerable restaurants around the hotel and in downtown
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   165
Nanjing (link?).
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   166
6
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   167
<H4>Advantages of Hosting ITP in Nanjing</H4>
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   168
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   169
Many groups working on ITP, summerschool on Coq, never has been hosted
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   170
in China, several centres (Shanghai, Beijing, ...)
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   171
8
adaf6b83330a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 7
diff changeset
   172
Good food, conference trip
adaf6b83330a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 7
diff changeset
   173
11
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   174
<H4>Timing and programme</H4>
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   175
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   176
As is tradition, the conference will consist of 4 days of research
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   177
presentations, invited talks and possibly poster sessions. Like in
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   178
previous ITP conferences, we would allow ample time between the formal
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   179
sessions for attendees to mingle and converse. We expect workshops to
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   180
take place during one or two days before or after the main
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   181
conference. Half a day will be dedicated to an excursion (see below).
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   182
12
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   183
<H4>Excursion</H4>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   184
12
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   185
We have two possible destinations for excursions: one is in
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   186
Yangzhou, the other more leisurly inside the city...
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   187
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   188
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   189
<p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   190
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   191
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   192
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   193
<p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   194
The <a href="http://www.in.tum.de/campus/index.html.en">Campus
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   195
Garching</a> is located 10 km north of the city of Munich.  There are
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   196
frequent Underground connections, taking about half an hour from the
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   197
very center of Munich to the department of Computer Science.
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   198
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   199
<p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   200
Munich offers a wide range of accommodation facilities and
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   201
restaurants.  Late August is usually the best season for enoying the
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   202
many beer gardens.
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   203
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   204
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   205
<H4>Finance</H4> We will seek to keep the costs for attending the
12
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   206
conference low.  
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   207
1
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   208
<center>
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   209
<table>  
1
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   210
<img src="pics/ITP-Linggusu.jpg">
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   211
<img src="pics/ITP-Mochou.jpg">
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   212
<img src="pics/ITP-najing-cit-walk.jpg">
17
a512aa90613b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 16
diff changeset
   213
</table>
1
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   214
</center>
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   215
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   216
</TD>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   217
</TR>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   218
</TABLE>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   219
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   220
<hr>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   221
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   222
</body>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   223
</html>