# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1649625240 -3600
# Node ID 935124ddd3ecee922b09d146edd6675b08c7c45e
# Parent  38a926c8d66f58855e2ab3010cd625b74ff32d2c
updated

diff -r 38a926c8d66f -r 935124ddd3ec index.html
--- 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
diff -r 38a926c8d66f -r 935124ddd3ec teaching.html
--- 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>
diff -r 38a926c8d66f -r 935124ddd3ec travelling.html
--- 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">