# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1434895854 -3600
# Node ID f0db9889b48da94a18636af8e04c4383d8cac39f
# Parent  27e64f2a5369e934185f075cb71da9599528130e
added skolem

diff -r 27e64f2a5369 -r f0db9889b48d index.html
--- a/index.html	Fri Jun 12 21:56:41 2015 +0100
+++ b/index.html	Sun Jun 21 15:10:54 2015 +0100
@@ -128,6 +128,13 @@
 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 <P>
 
+<B>Skolem Award</B> Together with Christine Tasson I was awarded a
+<A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year
+  test-of-time award from CADE, for our
+  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A>
+  on Nominal Techniques in Isabelle/HOL from 2005.
+<P>
+  
 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, 
 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, 
 regular expressions, computability, complexity, functional and logic  programming.
@@ -333,7 +340,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Nov 28 14:29:19 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Jun 21 15:06:10 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>