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

--- a/logic.html	Thu Jun 20 09:25:59 2013 -0400
+++ b/logic.html	Wed Jul 31 05:44:17 2013 +0100
@@ -135,7 +135,7 @@
 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD>
 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD>
 <DD><A HREF="http://www.cs.chalmers.se/~coquand/">Thierry Coquand</A></DD>
-<DD><A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Tobias Nipkow</A></DD>
+<DD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></DD>
 <DD><A HREF="http://www-compsci.swan.ac.uk/~csulrich/">Ulrich Berger</A></DD>
 <DD><A HREF="http://pauillac.inria.fr/~xleroy/">Xavier Leroy</A></DD>
 </DL>
@@ -163,7 +163,7 @@
  
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Jun 20 09:25:40 EDT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Jul 31 05:39:35 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>