diff -r 05e5d68c9627 -r f1be8028a4a9 PhD/index.html~ --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/PhD/index.html~ Wed Mar 30 17:27:34 2016 +0100 @@ -0,0 +1,85 @@ + + +Homepage of Christian Urban + + + + + + + + + + + + + + + + + + +
+ +Links
+Home
+Publications
+Recent Talks +
+
+ +Handy Information
+People in Logic
+Programming Languages
+Miscellaneous +

+ + + + +		 +Postscript file of the thesis: +ps.gz +
+

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, +Martin Hyland and +Glynn Winskel +are standing behind.

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

+ +

The Ceremony

+

+ +

+

+ +Last modified: Thu Feb 28 20:23:06 CET 2008 + +[Validate this page.] + +