diff -r cdacc1d732a0 -r 9c1ee836154b index.html
--- a/index.html	Tue Sep 02 16:39:03 2014 +0100
+++ b/index.html	Wed Sep 03 18:52:08 2014 +0100
@@ -153,6 +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.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair)
 <P>
 
@@ -332,7 +333,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Aug 21 07:56:08 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Sep  3 18:51:53 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>