diff -r f0db9889b48d -r 42f898753f63 index.html --- a/index.html Sun Jun 21 15:10:54 2015 +0100 +++ b/index.html Sun Jun 21 15:29:37 2015 +0100 @@ -128,7 +128,8 @@ Service (DAAD).
-Skolem Award Together with Christine Tasson I was awarded a +Skolem Award Together with +Christine Tasson I was awarded a Thoralf Skolem Award, a ten-year test-of-time award from CADE, for our paper @@ -340,7 +341,7 @@
- Last modified: Sun Jun 21 15:06:10 BST 2015 + Last modified: Sun Jun 21 15:29:15 BST 2015 [Validate this page.]