diff -r 345dd18f020e -r 907b1fff5637 PhD/index.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/PhD/index.html Thu Mar 15 10:07:28 2012 +0000 @@ -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.] + +