diff -r ff462cfb41cb -r 880e62843614 logic.html
--- a/logic.html	Mon Feb 15 23:28:10 2016 +0100
+++ b/logic.html	Fri Mar 11 12:48:03 2016 +0000
@@ -80,7 +80,7 @@
 <DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD>
 <DD><A HREF="http://www.eecs.qmul.ac.uk/~edmundr/">Edmund Robinson</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD>
-<DD><A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD>
+<DD><A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Gavin Bierman</A></DD>
 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD>
 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD>
 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD>
@@ -161,7 +161,7 @@
  
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Sep 27 13:02:45 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Mar 11 12:13:02 GMT 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>