--- a/index.html Mon Apr 23 08:53:47 2012 +0100
+++ b/index.html Sun Apr 29 11:11:55 2012 +0100
@@ -146,7 +146,7 @@
<A HREF="http://tphols.in.tum.de/">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.html">UNIF'10</A> (invited speaker),
+<A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker),
<A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker),
<A HREF="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
<A HREF="http://formes.asia/cpp">CPP'11</A> (member of PC),