# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1564483496 -3600
# Node ID 2c0b407e1139f389f537a7f5b7f6e948db7acc49
# Parent  681448a5602e68bcc70d3de1da042d7d65235a45
updated

diff -r 681448a5602e -r 2c0b407e1139 index.html
--- a/index.html	Tue Jul 30 11:32:56 2019 +0100
+++ b/index.html	Tue Jul 30 11:44:56 2019 +0100
@@ -330,12 +330,12 @@
 a <A HREF="https://nms.kcl.ac.uk/christian.urban/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 
+<A HREF="http://girard.perso.math.cnrs.fr/Accueil.html">Prof. Jean-Yves Girard</A>. My study in 
 Cambridge was funded by two <A HREF="http://www.daad.de/index.html">scholarships</a> 
 from the German government; my year in Marseille by a TMR-fellowship from the EU. 
 My PhD was also one starting point for the EPSRC Project on the Semantics of Classical 
 Proofs. The strong normalisation result in the PhD has been used in 2007 by 
-<A HREF="http://www.loria.fr/~ckirchne/hot.html">Prof. Claude Kirchner</A> and his 
+<A HREF="http://www.destineesnumeriques.com/speaker/aJZiZm5o/claude-kirchner">Prof. Claude Kirchner</A> and his 
 students for proving consistency of their superdeduction system lemuridae.
 </TD>
 </TR>