<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>TPHOLs 2009</title>
<script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg"
type="text/javascript"></script>
<script type="text/javascript">
function initialize() {
if (GBrowserIsCompatible()) {
var map = new GMap2(document.getElementById("map_canvas"));
var TUM = new GLatLng(48.12954444444, 11.588652777777778);
map.setCenter(TUM, 0);
map.setMapType(G_HYBRID_MAP);
map.addControl(new GSmallMapControl());
map.addOverlay(new GMarker(TUM));
}
}
</script>
</head>
<BODY TEXT="#000000"
BGCOLOR="#4169E1"
LINK="#0000EF"
VLINK="#51188E"
ALINK="#FF0000"
onload="initialize()" onunload="GUnload()">
<TABLE WIDTH="100%"
BGCOLOR="#4169E1"
BORDER="0"
FRAME="border"
CELLPADDING="10"
CELLSPACING="2"
RULES="all">
<!-- left column -->
<TR>
<TD BGCOLOR="#FFFFFF"
WIDTH="20%"
VALIGN="TOP"
ROWSPAN="2">
<p align=center>
<a href="pictures/marienplatz.jpg">
<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>
<br>
<small>Marienplatz (city centre)</small><br>
</p>
<p align=center>
<a href="pictures/englischer_garten.jpg">
<img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>
<br>
<small>The English Garden</small><br>
</p>
<p align=center>
<a href="pictures/chinesischer_turm.jpg">
<img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>
<br>
<small>Chinese Tower (famous beer garden)</small><br>
</p>
<p align=center>
<a href="pictures/cs_building.jpg">
<img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a>
<br><small>The Computer Science building of the TUM</small><br>
</p>
<p align=center>
<a href="pictures/magistrale.jpg">
<img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a>
<br>
<small>The main hall in the CS-building</small><br>
</p>
<p align=center>
<a href="pictures/isar.jpg">
<img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>
<br>
<small>The Isar river</small><br>
</p>
<p align=center>
<A HREF="pictures/tphols09_poster.jpg">
<IMG ALT="poster" SRC="pictures/tphols09_poster_small.jpg" align="top"></A>
<BR>
<small>The conference poster</small><br>
</p>
</TD>
<!-- right column -->
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
<H3>SPEAKER: John Harrison</H3>
<H3>TITLE: Without Loss of Generality</H3>
<p>
Soon.
</p>
</TD>
</TABLE>
<hr>
<!-- Created: Thu Feb 28 19:21:12 CET 2008 -->
<!-- hhmts start -->
Last modified: Tue May 26 03:42:58 CEST 2009
<!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>