# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1335967583 -3600
# Node ID 54840d5dab77d1ff2be7cbcd09712aa5d7e137f8
# Parent  782599c9a98358f62d2516e2ddc3d2257cd6bebd
fixed link

diff -r 782599c9a983 -r 54840d5dab77 index.html
--- a/index.html	Tue May 01 22:12:39 2012 +0100
+++ b/index.html	Wed May 02 15:06:23 2012 +0100
@@ -143,7 +143,7 @@
 <A HREF="http://lsfa09.cic.unb.br/">LSFA'09</A> (member of PC),
 <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/idw.html">IDW'09</A> (organiser),
 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair),
-<A HREF="http://tphols.in.tum.de/">TPHOLs'09</A> (PC co-chair),
+<A HREF="https://isabelle.in.tum.de/nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair),
 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC),
 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC),
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker),