diff -r c6308b24fa20 -r 95ea2ffaa094 index.html
--- a/index.html	Wed Mar 01 13:57:18 2017 +0000
+++ b/index.html	Sun Jun 04 01:20:04 2017 +0100
@@ -161,7 +161,7 @@
 <A HREF="http://nms.kcl.ac.uk/christian.urban/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),
+UNIF'10 (invited speaker),
 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker),
 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
 CPP'11 (member of PC),
@@ -336,9 +336,9 @@
 <B>Forum</B> 
 I implemented Forum, a programming language based on classical linear logic, 
 as my M.Phil. thesis. This was joint work with 
-<A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Dr Roy Dyckhoff</A>. 
+<A HREF="https://rd.host.cs.st-andrews.ac.uk">Dr Roy Dyckhoff</A>. 
 Details can be found  
-<A HREF="http://www.cs.st-andrews.ac.uk/~rd/logic/nonmac/">here</A> and
+<A HREF="https://rd.host.cs.st-andrews.ac.uk/logic/nonmac/">here</A> and
 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my
 M.Phil study I spent one month in Philadelphia invited by 
 <A HREF="http://www.lix.polytechnique.fr/~dale/">Prof. Dale Miller</A>.