--- a/index.html	Wed Mar 27 13:26:35 2013 +0000
+++ b/index.html	Wed Mar 27 17:26:05 2013 +0000
@@ -166,8 +166,9 @@
 I currently work on Nominal 
 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This is joint work with 
 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>,
-<A HREF="http://www4.in.tum.de/~wenzelm/">Dr Markus Wenzel</A>,
-<A HREF="http://www4.in.tum.de/~kaliszyk/">Dr Cezary Kaliszyk</A> and 
+<A HREF="https://www.lri.fr/~wenzel/">Dr Markus Wenzel</A>,
+<A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>,
+<A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and 
 the Isabelle-team in Munich.
 Many of the theoretical ideas originate from the nominal logic project - a wonderful project headed 
 by <A HREF="http://www.cl.cam.ac.uk/~amp12/">Prof. Andrew Pitts</A>.