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