--- a/publications.html	Thu May 05 10:22:52 2016 +0100
+++ b/publications.html	Sun May 08 08:34:30 2016 +0100
@@ -28,7 +28,7 @@
        BGCOLOR="#4169E1" 
        BORDER="0"   
        FRAME="border"  
-       CELLPADDING="11"     
+       CELLPADDING="12"     
        CELLSPACING="2"
        RULES="all">
 
@@ -89,7 +89,16 @@
       [<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) Submitted.
+      (with Ausaf and Dyckhoff) Accepted at ITP 2016.
+</TD>
+</TR>
+
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2015</H3>
+<p><B>Proceedings of the 6th International Conference on Interactive Theorem Proving</B> 
+      (with Zhang) Volume <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">9236</A>
+      of LNCS, Springer Verlag, 2015
 </TD>
 </TR>
 
@@ -509,7 +518,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Apr 10 20:49:18 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun May  8 08:34:16 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>