--- a/teaching.html	Tue Jan 31 16:26:02 2012 +0000
+++ b/teaching.html	Tue Jan 31 16:26:54 2012 +0000
@@ -37,7 +37,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="13">
+    ROWSPAN="14">
 
 <B>Links</B><BR>
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
@@ -89,7 +89,10 @@
 (the paper coming out of this work was presented at CADE)</li>
 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> 
 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li>
-<li>Parminder Sandhu (2011-2012, King's) Parsing using Derivatives</li>
+<li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li>
+<li>Darius Hodei (2011-2012, King's) A Compiler for System F</li>
+<li>Jian Jiang (2011-2012, King's) Suffix Array Sorting</li>
+<li>Adnan Noureddine (2011-2012, King's) Equivalence Checking of Regular Expressions</li>
 </ul>
 
 </TD>
@@ -97,12 +100,27 @@
 
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
+<H3>2012-2013</H3>
+
+<ul>
+<li>Automata and Formal Languages course
+</ul>
+</TD>
+</TR>
+
+<TR>
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2011-2012</H3>
 
-<p><B>Autumn</B> 
+<p><B>Autumn</B>
 <ul>
 <li>Course on Access Control and Privacy Policies (at King's; original course by Steve Barker)
 </ul>
+<p><B>Spring</B>
+<ul>
+<li>Help Steffen Zschaler with the Programming Application course; I
+am resposible for the exercises and the Scala part
+</ul>
 </TD>
 </TR>