diff -r d765ecc5b2df -r a430e494cb19 Nominal/activities.html
--- a/Nominal/activities.html	Wed Mar 30 17:07:49 2016 +0100
+++ b/Nominal/activities.html	Wed Mar 30 17:11:48 2016 +0100
@@ -42,7 +42,7 @@
   <li> Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei)
   <li> Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
   <li> Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March)
-  <li> There will be a one-day <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011
+  <li> There will be a one-day <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011
 </ul>
 
 <h3>2010</h3>
@@ -55,7 +55,7 @@
        (host: Prof. Xingyuan Zhang, 1st - 31st August)
   <li> Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July)
   <li> Talk at ITP (Edinburgh, 11 - 14 July)
-  <li> Larry Paulson and Christian organise the <A href="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 - 18 June)
+  <li> Larry Paulson and Christian organise the <A href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 - 18 June)
   <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June)
   <li> Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May)
   <li> Christian gives a talk in the Isabelle group (28 May)
@@ -72,7 +72,7 @@
   <li> Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August)
   <li> Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August)
   <li> Christian is PC co-chair of TPHOLs (17 - 20 August)
-  <li> Christian organises the <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html">
+  <li> Christian organises the <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html">
   Isabelle Developers Workshop</A> co-located with TPHOLs (13 - 15 August)
   <li> Cezary Kaliszyk joins the Nominal Group 
   <li> Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June)