updated link
authorChristian Urban <urbanc@in.tum.de>
Sun, 29 Apr 2012 11:11:55 +0100
changeset 106 ed54ec416bb3
parent 105 d0202d7d0186
child 107 5c816239deaa
updated link
index.html
--- 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),