--- a/index.html	Thu Mar 15 10:07:28 2012 +0000
+++ b/index.html	Thu Mar 15 10:13:14 2012 +0000
@@ -268,9 +268,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.inf.st-and.ac.uk/~rd/">Dr Roy Dyckhoff</A>. 
+<A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Dr Roy Dyckhoff</A>. 
 Details can be found  
-<A HREF="http://www.inf.st-and.ac.uk/~rd/logic/nonmac/">here</A> and
+<A HREF="http://www.cs.st-andrews.ac.uk/~rd/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>.