Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/activities/tphols09/index.html
changeset 415 f1be8028a4a9 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/activities/tphols09/index.html	Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,360 @@
+<!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&amp;v=2&amp;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">
+<TABLE>
+<TR>
+<TD><H1>TPHOLs will be in Munich from 17 to 20 August 2009</H1></TD>
+<TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD>
+</TR>
+</TABLE>
+<BR>
+TPHOLs is a series of international conferences that started in 1988 and 
+brings together researchers working in all areas of interactive theorem proving.
+The Theorem Proving Group at the Technische Universit&auml;t M&uuml;nchen
+is pleased to host the 22nd TPHOLs. 
+
+<HR>
+<CENTER>
+[<a href="index.html#dates">Important Dates</a>]
+[<a href="index.html#committees">Committees</a>]
+[<a href="index.html#venue">Venue</a>]
+[<a href="index.html#programme">Programme</a>]
+[<a href="index.html#workshops">Workshops</a>]
+[<a href="index.html#travel">Local Information</a>]
+[<a href="index.html#registration">Hotel Booking</a>]
+[<a href="index.html#support">Our Sponsors</a>]
+[<a href="history.html">History</a>]
+</CENTER>
+<HR><p>
+
+<table cellspacing=0 cellpadding=0>
+<tr>
+<td><IMG SRC="new.gif" ALT="" style="" align="left"></td>
+<td><A HREF="http://tphols.in.tum.de/conference_pictures/">Pictures of the conference are now available</A></td>
+</tr>
+</table>
+
+<H3><A NAME="dates"></A>Important Dates</H3>
+Submission for main proceedings: Now closed.<BR>
+Submission for the emerging trends: Now closed.<BR>
+Registration: Now closed<BR>
+Conference: 17-20 August 2009<BR>
+
+<H3><A NAME="committees"></A>Committees and Invited Speakers</H3>
+
+<H5>Invited Speakers:</H5>
+
+<TABLE>
+<TR><TD><A HREF="http://www.inf.ethz.ch/personal/basin/">David Basin</A></TD>
+    <TD>ETH Zurich, Switzerland</TD>
+    <TD><A HREF="basin.html">title/abstract</A></TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/">John Harrison</A></TD>
+    <TD>Intel, USA</TD>
+    <TD><A HREF="harrison.html">title/abstract</A></TD>
+</TR>
+<TR><TD><A HREF="http://research.microsoft.com/~schulte/">Wolfram Schulte</A>&nbsp;</TD>
+    <TD>Microsoft Research, USA</TD>
+</TR>
+</TABLE>
+
+<H5>Invited Tutorials about/by:</H5>
+
+<TABLE>
+<TR><TD><A HREF="http://twelf.plparty.org">Twelf</A></TD>
+    <TD><A HREF="http://www.itu.dk/~carsten">Carsten Sch&uuml;rmann</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/hol-light/">HOL Light</A>&nbsp;</TD>
+    <TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/">John Harrison</A></TD>
+</TR>
+<TR><TD><A HREF="http://wiki.portal.chalmers.se/agda/">Agda</A></TD>
+    <TD><A HREF="http://www.cs.chalmers.se/~ulfn/">Ulf Norell</A></TD>
+</TR>
+<TR><TD><A HREF="http://mizar.org/">Mizar</A></TD>
+    <TD><A HREF="http://alioth.uwb.edu.pl/cgi-bin/adamn/hello.pl">Adam Naumowicz</A></TD>
+</TR>
+</TABLE>
+
+<H5>Programme Committee:</H5>
+
+<TABLE>
+<TR><TD><A HREF="http://www.cs.nott.ac.uk/~txa/">Thorsten Altenkirch</A></TD>
+    <TD>Nottingham University, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://homepages.inf.ed.ac.uk/da/">David Aspinall</A></TD>
+    <TD>Edinburgh University, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://www.andrew.cmu.edu/user/avigad/">Jeremy Avigad</A></TD>
+    <TD>Carnegie Mellon University, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www-sop.inria.fr/everest/Gilles.Barthe/">Gilles Barthe</A></TD>
+    <TD>IMDEA, Spain</TD>
+</TR>
+<TR><TD><A HREF="http://www.ags.uni-sb.de/~chris/">Christoph Benzm&uuml;ller</A></TD>
+    <TD>Saarland University, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.chalmers.se/~peterd/">Peter Dybjer</A></TD>
+    <TD>Chalmers University, Sweden</TD>
+</TR>
+<TR><TD><A HREF="http://www.lri.fr/~filliatr/">Jean-Christophe Filli&acirc;tre</A></TD>
+    <TD>CNRS, France</TD>
+</TR>
+<TR><TD><A HREF="http://research.microsoft.com/~gonthier/">Georges Gonthier</A></TD>
+    <TD>Microsoft Research, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~mjcg/">Mike Gordon</A></TD>
+    <TD>Cambridge University, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://cs.anu.edu.au/~Jim.Grundy/">Jim Grundy</A></TD>
+    <TD>Intel, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.chalmers.se/~reiner/">Reiner H&auml;hnle</A></TD>
+    <TD>Chalmers University, Sweden</TD>
+</TR>
+<TR><TD><A HREF="http://www.gilith.com/">Joe Hurd</A></TD>
+    <TD>Galois, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</A></TD>
+    <TD>NICTA, Australia</TD>
+</TR>
+<TR><TD><A HREF="http://pauillac.inria.fr/~xleroy/">Xavier Leroy</A></TD>
+    <TD>INRIA, France</TD>
+</TR>
+<TR><TD><A HREF="http://www.ccs.neu.edu/home/pete/">Pete Manolios</A></TD>
+    <TD>Northeastern University, USA</TD>
+</TR>
+<TR><TD><A HREF="http://research.nianet.org/~munoz/">C&#233;sar Mu&#241;oz</A></TD>
+    <TD>NASA, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</A> (co-chair)</TD>
+    <TD>TU M&uuml;nchen, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></TD>
+    <TD>NICTA, Australia</TD>
+</TR>
+<TR><TD><A HREF="http://www.csl.sri.com/users/owre/">Sam Owre</A></TD>
+    <TD>SRI International, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~lp15/">Larry Paulson</A></TD>
+    <TD>Cambridge University, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.cmu.edu/~fp/">Frank Pfenning</A></TD>
+    <TD>Carnegie Mellon University, USA</TD>
+</TR>
+<TR><TD><A HREF="http://homepages.inf.ed.ac.uk/rpollack/">Randy Pollack</A></TD>
+    <TD>Edinburgh University, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://users.encs.concordia.ca/~tahar/">Sofi&egrave;ne Tahar</A></TD>
+    <TD>Concordia University, Canada</TD>
+</TR>
+<TR><TD><A HREF="http://www-sop.inria.fr/marelle/Laurent.Thery/me.html">Laurent Th&eacute;ry</A></TD>
+    <TD>INRIA, France</TD>
+</TR>
+<TR><TD><A HREF="http://www4.in.tum.de/~urbanc/">Christian Urban</A> (co-chair)&nbsp;</TD>
+    <TD>TU M&uuml;nchen, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.ru.nl/~freek/">Freek Wiedijk</A></TD>
+    <TD>Radboud University Nijmegen, The Netherlands</TD>
+</TR>
+</TABLE>
+
+<H5>Workshop Chair:</H5>
+ 
+<A HREF="http://www4.in.tum.de/~wenzelm/">Makarius Wenzel</A>
+
+<H5>Local Organisation:</H5> 
+
+<A HREF="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</A>,
+<A HREF="http://www4.in.tum.de/~wenzelm/">Makarius Wenzel</A>,
+<A HREF="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</A>,
+<A HREF="http://www4.in.tum.de/~urbanc/">Christian Urban</A>
+
+<H3><A NAME="programme"></A>Programme</H3>
+
+The LNCS number of the proceedings will be 5674. You can find the
+accepted papers <A HREF="accepted.html">here</A>. The programme
+is <A HREF="programme.html">elsewhere</A>. If you are an author and
+prepare your slides, please note that the contributed talks in the 
+main conference are limited to 25 minutes (including time for 
+questions). The talks in the poster session are limited to 7 minutes.
+The proceedings of the poster session is 
+<A HREF="http://tphols.in.tum.de/emerging-trends-TUM-I0916.pdf">here</A>.
+
+<H3><A NAME="workshops"></A>Workshops</H3>
+
+<ul>
+<li> <A HREF="http://plmms09.cse.tamu.edu/">PLMMS</A> (21 August)
+<li> <A HREF="http://coq.inria.fr/coq-workshop/">Coq Workshop</A> (21 August)
+<li> <A HREF="http://tphols.in.tum.de/idw.html">Isabelle Developers Workshop</A> (13 - 15 August; 
+     no registration fee; if you want to participate, please contact the organiser)
+</ul>
+
+<H3><A NAME="venue"></A>Venue and Travelling</H3>
+
+The conference will take place in the 
+<A HREF="http://www.novotel.com/gb/hotel-3280-novotel-muenchen-city/index.shtml">Novotel</A>
+which is near the river Isar and close to the city centre. There are a number of  
+<A HREF="http://en.wikipedia.org/wiki/Beer_garden">beer gardens</A> near the hotel.
+
+
+
+<H3><A NAME="travel"></A>Local Information</H3>
+
+<A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated
+at the heart of Europe.
+<center>
+
+<p>
+<div id="map_canvas" style="width: 400px; height: 178px"></div>
+</center>
+
+<p>
+<a href="http://www.munich-airport.de/en/consumer/index.jsp">Munich's
+airport</a> is an important European hub for international flights from
+around the world.
+
+<p>
+<A HREF="http://www.novotel.com/gb/hotel-3280-novotel-muenchen-city/index.shtml">Novotel</A>
+is close to the central station and in easy reach from the airport by public transportation.
+More detailed local information can be downloaded for
+
+<ul>
+<li> the main conference and the workshops on August 21 
+     <A HREF="http://tphols.in.tum.de/conference_info.pdf">[pdf]</A> 
+<li> the Isabelle Developers Workshop on August 13 - 15
+     <A HREF="http://tphols.in.tum.de/isabelle-workshop.pdf">[pdf]</A> 
+</ul>
+
+<H3><A NAME="registration"></A>Hotel Booking</H3>
+
+The registration deadline for the conference has passed. You can still book
+your hotel:
+
+<p>
+<ul>
+  <li><A HREF="hotel.html">Hotel Booking</A></li>
+</ul>
+
+
+<H3><A NAME="support"></A>Our Sponsors</H3> 
+
+We are very grateful for the support provided by:
+
+<ul>
+<li>Microsoft Research Redmond
+<li>Galois
+<li><A HREF="http://www.verisoftxt.de/">Verisoft XT</A>
+<li>Validas AG
+<center>
+<a href="pictures/validas.png">
+<img src="pictures/validas.png" alt="Validas AG" border=0></a>
+</center>
+<li><A HREF="http://puma.in.tum.de/wiki/Doctorate_Program_PUMA">DFG doctorate programme Puma</A>
+</ul>
+
+</TD>
+</TR>
+</TABLE>
+
+<hr>
+<!-- Created:  Thu Feb 28 19:21:12 CET 2008 -->
+<!-- hhmts start -->
+Last modified: Wed Oct 21 17:59:37 CEST 2009
+<!-- hhmts end -->
+<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
+</body>
+</html>
public_html