# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417184989 0
# Node ID 4088b75174cfe59ae981322e1349b01316778301
# Parent  b13048734c76da79487643c46ad88f623d5fa2ec
updated

diff -r b13048734c76 -r 4088b75174cf index.html
--- a/index.html	Sun Nov 23 15:10:24 2014 +0000
+++ b/index.html	Fri Nov 28 14:29:49 2014 +0000
@@ -153,7 +153,7 @@
 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC),
 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC),
 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC),
-MKM'15 (member of PC),
+<A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC),
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair)
 <P>
 
@@ -333,7 +333,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Nov  9 21:51:24 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Nov 28 14:29:19 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
diff -r b13048734c76 -r 4088b75174cf teaching.html
--- a/teaching.html	Sun Nov 23 15:10:24 2014 +0000
+++ b/teaching.html	Fri Nov 28 14:29:49 2014 +0000
@@ -114,7 +114,8 @@
 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University)
 A Lisp Compiler Targeting JavaScript/Asm.js</li>
 <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%) Regular Expression Matching with Derivatives</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> 
 </ul>
 
@@ -456,7 +457,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Mon Nov 17 09:11:23 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Nov 21 17:37:22 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>