diff -r 7108aeec5080 -r f51aebc23fbf travelling.html
--- a/travelling.html	Wed Mar 30 16:25:12 2016 +0100
+++ b/travelling.html	Wed Mar 30 16:32:19 2016 +0100
@@ -33,7 +33,7 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
-<A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
+<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A>
 <BR>
 <BR>
 
@@ -46,7 +46,7 @@
 <table border="0">
 <tr>
 <td>
-<A HREF="http://isabelle.in.tum.de/nominal/">
+<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </td>
 </tr>
@@ -128,7 +128,7 @@
 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
 <li> Talk at ESOP'11 (26 - 30 March, Saarbr&uuml;cken)
 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
-<li>  One-day <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-popl11/">tutorial</A> 
+<li>  One-day <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> 
       on Nominal Isabelle at <A HREF="http://www.cse.psu.edu/popl/11/" target="_top">POPL 2011</A>
       (21 January, Austin)
 </ul>
@@ -144,7 +144,7 @@
      (host: Prof. Xingyuan Zhang, 1st - 31st August)
 <li> Talk at ITP (Edinburgh, 11 - 14 July)
 <li> Invited Talk at UNIF'10 (14 July)
-<li> Larry Paulson and Christian organise the <A href="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 and 18 June)
+<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 and 18 June)
 <li> Talk in the Automated Reasoning Group in Cambridge (8 June)
 <li> On the thesis committee of Clement Houtmann (Nancy, 12 March) 
 <li> Talk in the Automated Reasoning Group in Cambridge (16 February)
@@ -174,7 +174,7 @@
      (28 September - 3 October, Spitzingsee)
 <LI> Invited Talk at LSFA (26th August, Salvador, Brazil)
 <LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada)
-<LI> <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> 
+<LI> <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> 
      at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial
      (11 August, Sydney)
 <LI> A course on Nominal Isabelle at the