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