diff -r ae516c20c5f1 -r 4dac76eb27d9 Nominal/ijcar-08.html
--- a/Nominal/ijcar-08.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/ijcar-08.html	Sat Jan 28 07:17:00 2017 +0000
@@ -12,7 +12,7 @@
 
 <META 
      HTTP-EQUIV="Refresh"
-     CONTENT="2; URL=http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">
+     CONTENT="2; URL=http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-ijcar08/">
 
 </body>
 </html>