# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1462790069 -3600
# Node ID 6cc39f136c22e15da3628e316794ce72fa652923
# Parent  f430f336dc78d83072a9ece12fddabb3268d358c
updated

diff -r f430f336dc78 -r 6cc39f136c22 index.html
--- a/index.html	Sun May 08 10:16:42 2016 +0100
+++ b/index.html	Mon May 09 11:34:29 2016 +0100
@@ -168,7 +168,8 @@
 <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),
 <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)
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair),
+<A HREF="https://itp2016.inria.fr">ITP'16</A> (member of PC)
 <P>
 
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised
@@ -354,7 +355,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Wed May  4 12:01:29 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon May  9 11:33:58 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>