--- a/index.html	Fri Apr 08 17:05:57 2022 +0100
+++ b/index.html	Sun Apr 10 22:14:00 2022 +0100
@@ -221,7 +221,7 @@
 theorem proving. My funding for this work was provided in 2004 and 2005 by a research 
 fellowship from the 
 <A HREF="http://en.wikipedia.org/wiki/Alexander_von_Humboldt">Alexander-von-Humboldt</A>
-<A HREF="http://www.humboldt-foundation.de/web/home.html">foundation</A>. During this time I was a visitor in the group of 
+<A HREF="https://www.humboldt-foundation.de">foundation</A>. During this time I was a visitor in the group of 
 <A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Prof. Helmut Schwichtenberg</A> in Munich.
 Between 2006 and 2011 this work is supported by an
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
@@ -355,7 +355,7 @@
 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.destineesnumeriques.com/speaker/aJZiZm5o/claude-kirchner">Prof. Claude Kirchner</A> and his 
+<A HREF="https://jao2015.sciencesconf.org/conference/jao2015/pages/Claude_Kirchner.pdf">Prof. Claude Kirchner</A> and his 
 students for proving consistency of their superdeduction system lemuridae.
 </TD>
 </TR>
@@ -367,7 +367,7 @@
 <B>Forum</B> 
 I implemented Forum, a programming language based on classical linear logic, 
 as my M.Phil. thesis. This was joint work with 
-<A HREF="https://rd.host.cs.st-andrews.ac.uk">Dr Roy Dyckhoff</A>. 
+<A HREF="https://st-andrews.academia.edu/RoyDyckhoff">Dr Roy Dyckhoff</A>. 
 Details can be found  
 <A HREF="https://rd.host.cs.st-andrews.ac.uk/logic/nonmac/">here</A> and
 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my

--- a/teaching.html	Fri Apr 08 17:05:57 2022 +0100
+++ b/teaching.html	Sun Apr 10 22:14:00 2022 +0100
@@ -38,7 +38,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="22">
+    ROWSPAN="23">
 
 <B>Links</B><BR>
 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
@@ -148,6 +148,18 @@
 
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
+<H3>2021-2022</H3>
+
+<ul>
+<li>Compilers and Formal Languages (93 students)
+<li>Practical Experiences of Programming (Scala Part, 5  weeks, 438 students)
+</ul>
+</TD>
+</TR>
+
+
+<TR>
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2020-2021</H3>
 
 <ul>

--- a/travelling.html	Fri Apr 08 17:05:57 2022 +0100
+++ b/travelling.html	Sun Apr 10 22:14:00 2022 +0100
@@ -64,11 +64,6 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li>Curry On and ECOOP (15 - 19 July, London)</li>
-<li>ICFP (19 - 21, August, Berlin)</li>
-<li>Talk at Journeys in Computational Logic: Tributes to Roy Dyckhoff (3 September, London)
-<li>VeTSS Workshop (24 - 25 September, Newton Institute, Cambridge)</li>
-<li>Functional Scala (12 - 13 December, National Gallery, London)</li>
 </ul>
 </TD>
 </TR>
@@ -76,6 +71,15 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Old</H2>
+<H5>2019</H5>
+<ul class="striped">
+<li>Curry On and ECOOP (15 - 19 July, London)</li>
+<li>ICFP (19 - 21, August, Berlin)</li>
+<li>Talk at Journeys in Computational Logic: Tributes to Roy Dyckhoff (3 September, London)
+<li>VeTSS Workshop (24 - 25 September, Newton Institute, Cambridge)</li>
+<li>Functional Scala (12 - 13 December, National Gallery, London)</li>
+</ul>
+  
 
 <H5>2018</H5>
 <ul class="striped">