--- a/publications.html	Thu Mar 15 16:39:57 2012 +0000
+++ b/publications.html	Sat Apr 14 04:46:41 2012 +0100
@@ -94,7 +94,8 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
-      (with Zhang and Wu) Submitted.
+      (with Zhang and Wu) Accepted for publication at the ITP 2012 conference in
+      Princeton.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]