diff -r d2cfbddb2e15 -r d40cedf90810 index.html
--- a/index.html	Thu Jun 20 09:25:59 2013 -0400
+++ b/index.html	Wed Jul 31 05:44:17 2013 +0100
@@ -151,7 +151,8 @@
 <A HREF="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
 <A HREF="http://formes.asia/cpp">CPP'11</A> (member of PC),
 <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://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC),
+<A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'10</A> (member of PC)
 <P>
 
 <B>Current RA</B> Chunhan Wu<BR>
@@ -294,7 +295,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sat Jun 15 09:01:05 EDT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Jul 31 05:35:06 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>