| author | Christian Urban <urbanc@in.tum.de> | 
| Tue, 30 Jul 2019 11:21:32 +0100 | |
| changeset 585 | 9f1f8b6510a3 | 
| parent 415 | f1be8028a4a9 | 
| permissions | -rw-r--r-- | 
| 
415
 
f1be8028a4a9
updated
 
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">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
2  | 
<html>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
3  | 
<head>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
4  | 
<title>Bid for TPHOLs 2009</title>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
5  | 
<script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
6  | 
type="text/javascript"></script>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
7  | 
<script type="text/javascript">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
8  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
9  | 
    function initialize() {
 | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
10  | 
      if (GBrowserIsCompatible()) {
 | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
11  | 
        var map = new GMap2(document.getElementById("map_canvas"));
 | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
12  | 
var TUM = new GLatLng(48.2630841153, 11.66718006134);  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
13  | 
map.setCenter(TUM, 0);  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
14  | 
map.setMapType(G_HYBRID_MAP);  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
15  | 
map.addControl(new GSmallMapControl());  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
16  | 
map.addOverlay(new GMarker(TUM));  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
17  | 
}  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
18  | 
}  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
19  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
20  | 
</script>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
21  | 
</head>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
22  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
23  | 
<BODY TEXT="#000000"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
24  | 
BGCOLOR="#4169E1"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
25  | 
LINK="#0000EF"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
26  | 
VLINK="#51188E"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
27  | 
ALINK="#FF0000"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
28  | 
onload="initialize()" onunload="GUnload()">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
29  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
30  | 
<TABLE WIDTH="100%"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
31  | 
BGCOLOR="#4169E1"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
32  | 
BORDER="0"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
33  | 
FRAME="border"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
34  | 
CELLPADDING="10"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
35  | 
CELLSPACING="2"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
36  | 
RULES="all">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
37  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
38  | 
<!-- left column -->  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
39  | 
<TR>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
40  | 
<TD BGCOLOR="#FFFFFF"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
41  | 
WIDTH="20%"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
42  | 
VALIGN="TOP"  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
43  | 
ROWSPAN="2">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
44  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
45  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
46  | 
<a href="pictures/cs_building.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
47  | 
<img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
48  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
49  | 
<b>Computer science building</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
50  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
51  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
52  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
53  | 
<a href="pictures/magistrale.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
54  | 
<img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
55  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
56  | 
<b>Main hall of the computer science building</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
57  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
58  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
59  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
60  | 
<a href="pictures/englischer_garten.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
61  | 
<img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
62  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
63  | 
<b>Englischer Garten</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
64  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
65  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
66  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
67  | 
<a href="pictures/chinesischer_turm.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
68  | 
<img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
69  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
70  | 
<b>Chinesischer Turm (Beer Garden)</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
71  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
72  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
73  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
74  | 
<a href="pictures/marienplatz.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
75  | 
<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
76  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
77  | 
<b>Marienplatz (City Center)</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
78  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
79  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
80  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
81  | 
<a href="pictures/nationaltheater.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
82  | 
<img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
83  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
84  | 
<b>The Nationaltheater</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
85  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
86  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
87  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
88  | 
<a href="pictures/maximilianstrasse.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
89  | 
<img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstraße" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
90  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
91  | 
<b>Maximilianstraße</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
92  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
93  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
94  | 
<p align=center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
95  | 
<a href="pictures/isar.jpg">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
96  | 
<img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
97  | 
<br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
98  | 
<b>The Isar river</b><br>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
99  | 
</p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
100  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
101  | 
</center>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
102  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
103  | 
</TD>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
104  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
105  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
106  | 
<!-- right column -->  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
107  | 
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
108  | 
<TABLE>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
109  | 
<TR>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
110  | 
<TD><H1>Bid to host TPHOLs 2009 by Technische Universität München</H1></TD>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
111  | 
<TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
112  | 
</TR>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
113  | 
</TABLE>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
114  | 
<BR>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
115  | 
The Department of Computer Science at TU Munich (located at the  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
116  | 
<a href="http://www.in.tum.de/campus/index.html.en">Campus Garching</a>)  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
117  | 
would like to host the 22nd TPHOLs.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
118  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
119  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
120  | 
<H4>Timing and Programme</H4>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
121  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
122  | 
Following the traditional timing of TPHOLs, we propose to hold the  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
123  | 
conference August 17-20 2009 (alternatively August 24-27).  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
124  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
125  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
126  | 
We expect the conference will consist of four days of fully refereed  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
127  | 
research paper presentations, invited talks, and poster presentations  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
128  | 
for work-in-progress. Moreover, half a day will be dedicated to an  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
129  | 
excursion, followed by the conference dinner in the evening. We aim  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
130  | 
to provide plenty of time between the formal sessions for attendees to  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
131  | 
mingle and converse, since we believe this to be a very valuable  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
132  | 
aspect of the conference.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
133  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
134  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
135  | 
As in previous years we will seek to publish the main proceedings as a  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
136  | 
volume of Springer's Lecture Notes in Computer Science, and also to  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
137  | 
continue the tradition of offering a venue for the presentation of  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
138  | 
work-in-progress. The latter will be published as a separate  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
139  | 
volume. Both volumes will be prepared in time to be available for the  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
140  | 
conference.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
141  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
142  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
143  | 
Our computer science building at the Campus Garching provides  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
144  | 
excellent facilities for lectures, coffee breaks, lunch, and Internet  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
145  | 
connectivity via WLAN.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
146  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
147  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
148  | 
<H4>Organising Committee</H4>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
149  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
150  | 
<UL>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
151  | 
<LI> <A HREF="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</A>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
152  | 
<LI> <A HREF="http://www4.in.tum.de/~wenzelm/">Makarius Wenzel</A>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
153  | 
<LI> <A HREF="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</A>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
154  | 
<LI> <A HREF="http://www4.in.tum.de/~urbanc/">Christian Urban</A>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
155  | 
</UL>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
156  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
157  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
158  | 
<H4>Travel and Accomodation</H4>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
159  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
160  | 
<A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
161  | 
at the heart of Europe, the <a  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
162  | 
href="http://www.munich-airport.de/en/consumer/index.jsp">Munich  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
163  | 
Aiport</a> is an important European hub for international flights from  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
164  | 
around the world.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
165  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
166  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
167  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
168  | 
<div id="map_canvas" style="width: 300px; height: 170px"></div>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
169  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
170  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
171  | 
The <a href="http://www.in.tum.de/campus/index.html.en">Campus  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
172  | 
Garching</a> is located 10 km north of the city of Munich. There are  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
173  | 
frequent Underground connections, taking about half an hour from the  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
174  | 
very center of Munich to the department of Computer Science.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
175  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
176  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
177  | 
Munich offers a wide range of accommodation facilities and  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
178  | 
restaurants. Late August is usually the best season for enoying the  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
179  | 
many beer gardens.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
180  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
181  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
182  | 
<H4>Finance</H4> We will seek to keep the costs for attending the  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
183  | 
conference low. In particular, funding for invited speakers will be  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
184  | 
available from the <a  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
185  | 
href="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA">Doctorate  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
186  | 
Program PUMA</a>.  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
187  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
188  | 
</TD>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
189  | 
</TR>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
190  | 
</TABLE>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
191  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
192  | 
<hr>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
193  | 
<!-- Created: Thu Feb 28 19:21:12 CET 2008 -->  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
194  | 
<!-- hhmts start -->  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
195  | 
Last modified: Fri Feb 29 19:07:15 CET 2008  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
196  | 
<!-- hhmts end -->  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
197  | 
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
198  | 
</body>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
199  | 
</html>  |