--- 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>