25 March 2010, Farewell lecture of dr. P. van Emde Boas, Peter van Emde Boas

Dr. Peter van Emde Boas (UvA, ILLC) has reached the age that he officially has to retire. On this occasion he will give a farewell lecture in the aula of the UvA (at 15:00).

On the day of his farewell speech, there will be a colloquium in which some of the subjects are represented in which Peter was active. The colloquium, in the same location, starts at 10:00.

Program

9.30-9.50	coffee
10.00-10.45	Jiri Widermann	Extended Turing Machine Paradigm
10.45-11.15	prof. dr. Albert Visser	On Kreisel's `Solution' of a Problem of Henkin's
11.15-11.45	coffee
11.45-12.15	Jan van Leeuwen	On closer inspection - understanding complexity
12.15-12.45	Jan van Mill	Countable dense homogeneity
12.45-13.30	Lunch
13.30-14.15	Kurt Mehlhorn	Certifying Algorithms
15.00	Afscheidcollege Peter van Emde Boas, Egghead betegelt badkamer
	Speeches, reception

Everybody is welcome

The lunch is free for those who announce their participation before March 13 to t.m.v.janssen at uva.nl.

The farewell lecture will be in ceremonial dress. Full professors from outside Amsterdam are invited to take part in the cortege, en preferably bring their own toga.

A contribution for a present can be transferred to giro 1689923, of T.M.V. Janssen, Ermelo. The present will be a donation to the Universitair Asielfonds UAF (supports the study of refugees).