diff -r 48f1fb0b8895 -r d765ecc5b2df Nominal/main.html
--- a/Nominal/main.html	Wed Mar 30 17:01:15 2016 +0100
+++ b/Nominal/main.html	Wed Mar 30 17:07:49 2016 +0100
@@ -145,7 +145,7 @@
 The plan is to extend this work to full XQuery. The preliminary results appeared at CPP'11.
 
 <li>
-<A HREF="http://www.score.cs.tsukuba.ac.jp/~kaliszyk" target="_top">Cezary Kaliszyk</A> 
+<A HREF="http://cl-informatik.uibk.ac.at/users/cek/" target="_top">Cezary Kaliszyk</A> 
 with input from Henk Barendregt formalised the second fixed point theorem
 of the lambda calculus using Nominal Isabelle 2. This work appeared at CPP'11.