index.html
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 12 Feb 2014 00:14:34 +0000
changeset 16 8a34dbbd8788
parent 15 9052a9b07b59
child 17 a512aa90613b
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>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
<script src="http://maps.google.com/maps?file=api&amp;v=2&amp;key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg"
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
            type="text/javascript"></script>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
    <script type="text/javascript">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
    function initialize() {
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
      if (GBrowserIsCompatible()) {
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
        var map = new GMap2(document.getElementById("map_canvas"));
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
        var TUM = new GLatLng(48.2630841153, 11.66718006134);
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
        map.setCenter(TUM, 0);
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
        map.setMapType(G_HYBRID_MAP);
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
        map.addControl(new GSmallMapControl());
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
        map.addOverlay(new GMarker(TUM));
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
      }
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
    }
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
    </script>
15
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    21
<style>
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    22
  body { font-size: 14px;
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    23
         font-family: "trebuchet ms", helvetica, sans-serif; }
9052a9b07b59 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 14
diff changeset
    24
</style>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    25
</head>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    26
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
<BODY TEXT="#000000" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
      BGCOLOR="#4169E1" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
      LINK="#0000EF" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    30
      VLINK="#51188E" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    31
      ALINK="#FF0000"
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    32
      onload="initialize()" onunload="GUnload()">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    33
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    34
<TABLE WIDTH="100%" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
       BGCOLOR="#4169E1" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
       BORDER="0"   
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    37
       FRAME="border"  
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
       CELLPADDING="10"     
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
       CELLSPACING="2"
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
       RULES="all">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    42
<!-- left column -->
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
<TR>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
<TD BGCOLOR="#FFFFFF" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
    WIDTH="20%" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
    VALIGN="TOP" 
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
    ROWSPAN="2">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
<a href="pictures/englischer_garten.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
<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
    53
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
<b>Englischer Garten</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
<a href="pictures/chinesischer_turm.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
<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
    60
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
<b>Chinesischer Turm (Beer Garden)</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    62
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    64
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    65
<a href="pictures/marienplatz.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    66
<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
    67
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
<b>Marienplatz (City Center)</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
<a href="pictures/nationaltheater.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
<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
    74
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    75
<b>The Nationaltheater</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    76
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    77
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    78
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
<a href="pictures/maximilianstrasse.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    80
<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
    81
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
<b>Maximilianstra&szlig;e</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
<p align=center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    86
<a href="pictures/isar.jpg">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
<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
    88
<br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
<b>The Isar river</b><br>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    90
</p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    91
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    92
</center>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    93
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    94
</TD>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    95
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    96
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    97
<!-- right column -->
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    98
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    99
<TABLE>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   100
<TR>
1
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   101
<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
   102
<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
   103
</TR>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104
</TABLE>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   105
<BR>
5
20a3564ecec3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 4
diff changeset
   106
<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
   107
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
   108
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
   109
Dynasty with a rich
16
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   110
<A HREF="http://www.cityofnanjing.com">cultural heritage</A>. 
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   111
We like 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
   112
Xingyuan Zhang and Christian Urban.
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   113
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   114
3
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 2
diff changeset
   115
<H4>Travel to Nanjing</H4>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   116
16
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   117
Nanjing is a major city in China.
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   118
There are international airline connections to 
8a34dbbd8788 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 15
diff changeset
   119
<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
   120
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
   121
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
   122
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
   123
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
   124
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   125
<H4>The Venue and Accommodation</H4>
6
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   126
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   127
The plan is to host the conference at the
10
71dba6aecd86 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 9
diff changeset
   128
<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 easy
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   129
reach from the city centre. (...There are also many other hotels nearby.)
6
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   130
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   131
<center>
10
71dba6aecd86 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 9
diff changeset
   132
<img src="pics/hotel1.jpg" width="30%" height="45%">
71dba6aecd86 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 9
diff changeset
   133
<img src="pics/hotel2.jpg" width="30%" height="45%">
7
8eeb61050189 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 6
diff changeset
   134
</center>
6
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   135
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   136
<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
   137
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   138
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
   139
in China, several centres (Shanghai, Beijing, ...)
5c0d0f923ac2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
   140
8
adaf6b83330a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 7
diff changeset
   141
Good food, conference trip
adaf6b83330a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 7
diff changeset
   142
11
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   143
<H4>Timing and programme</H4>
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   144
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   145
As is tradition, the conference will consist of 4 days of research
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   146
presentations, invited talks and possibly poster sessions. As informal
12
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   147
discussions are central to the conference, we would allow ample time
11
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   148
between the formal sessions for attendees to mingle and converse. We
55fe56a5989a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 10
diff changeset
   149
expect workshops to take place during one or two days before or after the
12
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   150
main conference. Half a day will be dedicated to an
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   151
excursion (see below)
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   152
12
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   153
<H4>Excursion</H4>
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   154
12
865c16294358 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 11
diff changeset
   155
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
   156
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
   157
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   158
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   159
<p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   160
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   161
<div id="map_canvas" style="width: 300px; height: 170px"></div>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   162
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   163
<p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   164
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
   165
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
   166
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
   167
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
   168
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   169
<p>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   170
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
   171
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
   172
many beer gardens.
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   173
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   174
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   175
<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
   176
conference low.  
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   177
1
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   178
<center>
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   179
<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
   180
<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
   181
<img src="pics/ITP-najing-cit-walk.jpg">
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   182
</center>
fe31be53ed49 added 3 pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
   183
0
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   184
</TD>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   185
</TR>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   186
</TABLE>
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
<hr>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   189
<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
   190
</body>
98b6328773c2 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   191
</html>