--- a/logic.html	Thu Sep 26 12:29:25 2013 +0100
+++ b/logic.html	Fri Sep 27 14:27:21 2013 +0100
@@ -115,7 +115,7 @@
 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD>
 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD>
 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD>
-<DD><A HREF="http://users.rsise.anu.edu.au/~michaeln/">Michael Norrish</A></DD>
+<DD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></DD>
 <DD><A HREF="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</A></DD>
 <DD><A HREF="http://www.diku.dk/users/neil/">Neil Jones</A></DD>
 <DD><A HREF="http://research.microsoft.com/~nick/">Nick Benton</A></DD>
@@ -146,8 +146,6 @@
 <H4>Bookmarks </H4>
 
 <DL>
-<DD><A HREF="http://www.cwi.nl/~arie/picalc.html">
-             Pi-calculus</A></DD>
 <DD><A HREF="ftp://ftp.cis.upenn.edu/pub/papers/miller/ComputNet95/llsurvey.html">
              Survey on linear logic programming languages by Dale Miller</A></DD>
 <DD><A HREF="http://cl-informatik.uibk.ac.at/~ami/research/rr/">
@@ -163,7 +161,7 @@
  
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Wed Jul 31 05:39:35 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Sep 27 13:02:45 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>