# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1438116383 -3600
# Node ID cde52ae55d33e37ccfec13f1d5d35dc72dd5f9b7
# Parent  7c7add769d8e6800afc86a11c98ab675e19ad30c
updated

diff -r 7c7add769d8e -r cde52ae55d33 index.html
--- a/index.html	Fri Jul 10 01:50:32 2015 +0100
+++ b/index.html	Tue Jul 28 21:46:23 2015 +0100
@@ -128,7 +128,7 @@
 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 <P>
 
-<B>Skolem Award</B> Together with
+<B>Skolem Award 2015</B> Together with
 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a
 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year
   test-of-time award from CADE, for our
@@ -197,7 +197,8 @@
 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a
 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
-Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM and
+Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
+Haskell Symposium and
 in the Journal of Automated Reasoning.
 </TD>
 </TR>
@@ -342,7 +343,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Jul 10 01:50:23 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Jul 28 21:42:19 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
diff -r 7c7add769d8e -r cde52ae55d33 teaching.html
--- a/teaching.html	Fri Jul 10 01:50:32 2015 +0100
+++ b/teaching.html	Tue Jul 28 21:46:23 2015 +0100
@@ -37,7 +37,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="16">
+    ROWSPAN="17">
 
 <B>Links</B><BR>
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
@@ -116,12 +116,15 @@
 <li>Ritu Kundu (MSc 2013-2014, King's, mark 79%) Modern Slide-Making in Elm and JavaScript</li>
 <li>Vladislav Kononov (MSc 2013-2014, King's, mark 75%, works for RBS)
 Regular Expression Matching with Derivatives</li> 
-<li>Daniel Martinez (MSc 2013-2014, King's, mark 73%) Raspberry Pi Network</li> 
+<li>Daniel Martinez (MSc 2013-2014, King's, mark 73%) Raspberry Pi Network</li>
+<li>Kintesh Patel (BSc 2014-2015, King's, mark 75%) Slide-Making in the Web-Age</li> 
+<li>Vishvadeep Kadian (BSc 2014-2015, King's, mark 70%) Home Control, Automation & Management
+    System Optimised for the Raspberry Pi</li>    
 </ul>
 
 <p>
-I was awarded in 2014 the prizes for best supervisor for BSc and MSc projects in the
-Faculty of Natural and Mathematical Sciences.
+I was awarded in 2014 the prizes for both, best supervisor for BSc and best supervisor
+for MSc projects, in the Faculty of Natural and Mathematical Sciences.
 </p>
 
 <p>Examiner of PhD-theses:
@@ -138,6 +141,18 @@
 
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
+<H3>2015-2016</H3>
+
+<ul>
+<li>Automata and Formal Languages
+<li>Security Engineering
+</ul>
+</TD>
+</TR>
+
+
+<TR>
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2014-2015</H3>
 
 <ul>
@@ -458,7 +473,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Apr 10 18:08:31 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu Jul 23 22:33:53 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>