--- a/teaching.html Sat Jan 28 07:47:39 2017 +0000
+++ b/teaching.html Wed Mar 01 13:57:18 2017 +0000
@@ -37,7 +37,7 @@
<TD BGCOLOR="#FFFFFF"
WIDTH="24%"
VALIGN="TOP"
- ROWSPAN="17">
+ ROWSPAN="18">
<B>Links</B><BR>
<A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
@@ -119,7 +119,8 @@
<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>
+ System Optimised for the Raspberry Pi</li>
+<li> ...
</ul>
<p>
@@ -143,6 +144,19 @@
<TR>
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
+<H3>2016-2017</H3>
+
+<ul>
+<li>Compilers and Formal Languages
+<li>Security Engineering
+<li>Practical Experiences of Programming (Scala Part, 3 weeks)
+</ul>
+</TD>
+</TR>
+
+
+<TR>
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
<H3>2015-2016</H3>
<ul>
--- a/travelling.html Sat Jan 28 07:47:39 2017 +0000
+++ b/travelling.html Wed Mar 01 13:57:18 2017 +0000
@@ -64,8 +64,7 @@
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
<H2>Talks and Travel Plans</H2>
<ul class="striped">
-<li> Talk at the University of Kent (22 February, host Dr Scott Owens)
-<li> Talk in SMAL group meeting (9 March)
+<li> Big Proof Meeting in Cambridge (Newton Institute, June - August)
</ul>
</TD>
</TR>
@@ -74,6 +73,15 @@
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
<H2>Old</H2>
+<H5>2016</H5>
+
+<ul class="striped">
+<li> Talk at the University of Kent (22 February, host Dr Scott Owens)
+<li> Talk in SMAL group meeting (9 March)
+<li> Talk at ITP'16 (Nancy)
+</ul>
+
+
<H5>2015</H5>
<ul class="striped">