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