# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1334375201 -3600
# Node ID 792f907a1a16d411a70888b04efc08757d848a3b
# Parent  ae93eceffa62fd740f496d19eb64e9048a8aeebd
updated

diff -r ae93eceffa62 -r 792f907a1a16 publications.html
--- 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>]