--- a/index.html Sat Oct 22 10:43:10 2011 +0100
+++ b/index.html Sat Oct 22 10:51:58 2011 +0100
@@ -2,7 +2,7 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<HEAD>
<TITLE>Homepage of Christian Urban</TITLE>
-<BASE HREF="http://www4.in.tum.de/~urbanc/">
+<BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
</HEAD>
<BODY TEXT="#000000"
@@ -27,18 +27,18 @@
ROWSPAN="8">
<B>Links</B><BR>
-<A HREF="http://www4.in.tum.de/~urbanc/index.html">Home</A><BR>
-<A HREF="http://www4.in.tum.de/~urbanc/publications.html">Publications</A><BR>
-<A HREF="http://www4.in.tum.de/~urbanc/teaching.html">Teaching</A><BR>
-<A HREF="http://www4.in.tum.de/~urbanc/travelling.html">Recent Talks</A><BR>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/index.html">Home</A><BR>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
<A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
<BR>
<BR>
<B>Handy Information</B><BR>
-<A HREF="http://www4.in.tum.de/~urbanc/logic.html">People in Logic</A><BR>
-<A HREF="http://www4.in.tum.de/~urbanc/programming.html">Programming Languages</A><BR>
-<A HREF="http://www4.in.tum.de/~urbanc/misc.html">Miscellaneous</A>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
<BR><BR>
<A HREF="http://isabelle.in.tum.de/nominal/">
@@ -67,7 +67,7 @@
<B>Fax</B> +49 89 289 17307
</TD>
<TD align="right" valign="top">
-<A HREF="http://www4.in.tum.de/~urbanc/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A>
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A>
</TD>
</TR>
</TABLE>
@@ -189,13 +189,13 @@
<TR>
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
<B>Nominal Unification and Alpha-Prolog</B>
-<A HREF="http://www4.in.tum.de/~urbanc/Unification">Nominal unification</A> is one outcome of
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Unification">Nominal unification</A> is one outcome of
my involvement in the nominal logic project in Cambridge. Another is the logic programming language
alpha-Prolog (joint work with <A HREF="http://homepages.inf.ed.ac.uk/jcheney/">Dr James Cheney</A>),
which uses nominal unification - click for details
<A HREF="http://homepages.inf.ed.ac.uk/jcheney/programs/aprolog/">here</A>.
The nominal unification algorithm has been
-<A HREF="http://www4.in.tum.de/~urbanc/Unification">formally verified</A> in Isabelle. This
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Unification">formally verified</A> in Isabelle. This
was possible since this unification algorithm is formulated in a simple first-order language
(unlike other algorithms for higher-order unification).
<A HREF="http://www.cs.indiana.edu/~dfried/">Prof. Daniel Friedman</A> and his group use nominal
@@ -218,8 +218,8 @@
as supervisor. My research in Cambridge was also very much influenced by
<A HREF="http://www.dpmms.cam.ac.uk/~martin/">Prof. Martin Hyland</A>.
Some details on my thesis "Classical Logic and Computation" are
-<A HREF="http://www4.in.tum.de/~urbanc/PhD/index.html">elsewhere</A>, including
-a <A HREF="http://www4.in.tum.de/~urbanc/Cut/cutapplet.html">Java Applet</A> that
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/PhD/index.html">elsewhere</A>, including
+a <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Cut/cutapplet.html">Java Applet</A> that
'visualises' some of the results from the thesis. I completed the writing of
the thesis in <A HREF="http://iml.univ-mrs.fr/ldp/">Marseille</A> in the group of
<A HREF="http://iml.univ-mrs.fr/~girard/">Prof. Jean-Yves Girard</A>. My study in
@@ -251,7 +251,7 @@
<TR>
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
<B>G4ip</B> An implementation of G4ip using the imperative language Pizza can be found
-<A HREF="http://www4.in.tum.de/~urbanc/Prover/index.html">here</A>.
+<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Prover/index.html">here</A>.
<A HREF="http://pizzacompiler.sourceforge.net">Pizza</A> is a conservative
extension of Java and a precursor of Scala. The implementation illustrates the technique of success
continuations.