# HG changeset patch # User Christian Urban <christian dot urban at kcl dot ac dot uk> # Date 1474060484 -3600 # Node ID 391f239491148615abb7b6aed857faf4e53252eb # Parent 62dfe25d627776f4f1621fcc2d9cd46c441e936b updated diff -r 62dfe25d6277 -r 391f23949114 index.html --- 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> diff -r 62dfe25d6277 -r 391f23949114 publications.html --- 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>