diff -r ff462cfb41cb -r 880e62843614 PhD/index.html --- a/PhD/index.html Mon Feb 15 23:28:10 2016 +0100 +++ b/PhD/index.html Fri Mar 11 12:48:03 2016 +0000 @@ -2,7 +2,7 @@ "http://www.w3.org/TR/REC-html40/loose.dtd"> Homepage of Christian Urban - + Links
-Home
-Publications
-Recent Talks +Home
+Publications
+Recent Talks

Handy Information
-People in Logic
-Programming Languages
-Miscellaneous +People in Logic
+Programming Languages
+Miscellaneous

@@ -47,7 +47,7 @@ Postscript file of the thesis: -ps.gz +ps.gz @@ -55,22 +55,22 @@

The Dinner after the Viva

organised by Gavin in The Three Horseshoes in Maddingley. Very nice.

-
+
My examiners, Andy Pitts and Henk Barendregt, are next to me. Nick Benton, Mrs. Barendregt-Kessing (Henk's mother), -Gavin Bierman, -Mateja Jamnik, +Gavin Bierman, +Mateja Jamnik, Martin Hyland and Glynn Winskel are standing behind.

-
+
There are Susan Pitts and Alice Benton on the left.

The Ceremony

-

+