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