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),