--- a/index.html	Wed Aug 24 10:24:55 2016 +0100
+++ b/index.html	Fri Sep 16 22:14:44 2016 +0100
@@ -143,7 +143,7 @@
 
 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching
 Excellence Award in
-2012 and 2015, and for the best MSc Project supervisor in 2015.
+2012, 2015 and 2016, and for the best MSc Project supervisor in 2015.
 In 2014 I received both prizes for Best UG Project Supervisor and for Best
 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty<A>.<P>
 

--- a/publications.html	Wed Aug 24 10:24:55 2016 +0100
+++ b/publications.html	Fri Sep 16 22:14:44 2016 +0100
@@ -89,7 +89,10 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B>
-      (with Ausaf and Dyckhoff) Accepted at ITP 2016.
+      (with Ausaf and Dyckhoff)
+      In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). 
+      In Volume <A HREF="https://link.springer.com/book/10.1007/978-3-319-43144-4">9807</A>
+      of Lecture Notes in Computer Science. Pages 69-86. Springer Verlag, 2016.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/posix.pdf">pdf</A>]
 </TD>
 </TR>